D i a l o g u e s y s t e m s s h o u l d p r o v i d e a c o o p e r a t i v e i n f o r m a t i o n a l d i a l o g u e a i m e d a t k n o w l e d g e s h a r i n g . In t h e p a p e r s p e e c h a c t s o f a s s e r t i o n (SAA) a r e a s s u m e d t o be t h e m e a n s o f a c h i e v i n g t h i s g o a l . A t y p o l o g y o f SAAs i s p r o p o s e d w h i c h r e f l e c t s c e ...

. T W O techn iques a r e presented here t o enable q u a n t i t a t i v e comparison o f t i m e domain fundamental f requency e s t i m a t i o n a l g o r i t h m s a g a i n s t a r e fe rence , t h a t makes use o f t h e o u t p u t f rom a laryngograph. These measures a re c a r r i e d o u t on t h e p u l s a t i l e ou tpu t s produced by t h e dev ices, where each pu lse corresponds...

The knowledge e n g i n e e r p r a c t i c e s t h e a r t o f b r i n g i n g the p r i n c i p l e s and t o o l s o f A I r e s e a r c h t o bear o n d i f f i c u l t a p p l i c a t i o n s p rob lems r e q u i r i n g e x p e r t s ' knowledge f o r t h e i r s o l u t i o n . The t e c h n i c a l i s s u e s o f a c q u i r i n g t h i s k n o w l e d g e , r e p r e s e n t i n g i t...

I d e n t i f y i n g the r e f e r e n t of a s i n g u l a r d e f i n i t e term i n a d a t a b a s e query e s s e n t i a l l y c o n s i s t s i n d e t e m i n i n g i t s e x t e n s i o n i n the d a t a b a s e by a p p l y i n g the R u a s s l l i a n t r u t h c o n d i t i o n s f o r d e f i n i t e d e s c r i p t i o n s . However, most d e f i n i t e d e s c r i p t i o n s ...

A d s o r p t i o n and thermal decomposition of IMi(CG)^ i n t h e cage system o f z e o l i t e Y have been s t u d i e d u i t h EXAFS, e l e c t r o n microscopy and IR s p e c t r o s c o p y , Ni(CO)^ i s adsorbed as an i n t a c t molecule i n both c a t i o n f r e e z e o l i t e Y and NaY. Symmetry changes of the molecule i n NaY are assigned t o the f o r m a t i o n o f Na —OC-IMi b...

The D-Algor i thm (DALG) i s shown t o be i n e f f e c t i v e fo r t he c l a s s o f combinat ional l o g i c c i r c u i t s t h a t i s used t o implement E r r o r Cor rec t i on and T rans la t i o n (ECAT) func t i ons . PODEM (Path-Or ien ted Dec is i on Making) i s a new t e s t genera t ion a l g o r i t h m f o r combina t iona l l o g i c c i r c u i t s . PODEM uses an i m p l i c...

The n o n l i n e a r i t y p a r a m e t e r B / A h a s b e e n d e t e r m i n e d f o r t i s s u e mode l s ( a q u e o u s s o l u t i o n s o f b i o l o g i c a l m a c r o m o l e c u l e s ) a n d f o r e x c i s e d t i s s u e s f r o m measuremen t s o f t h e f u n d a m e n t a l p r e s s u r e a m p l i t u d e , a t t h e s o u r c e , and t h e s e c o n d ha rmon ic p r e s ...

A genera l method f o r the i n f e r e n c e of r e c u r s i v e f u n c t i o n s (programs) from examp les o f computa t ions i s d e s c r i b e d . I t i s based on the so c a l l e d a l g e b r a i c semant ics of r e c u r s i v e program schemes and in t h i s paper main ly a p p l i e d to the r e p r e s e n t a t i o n and i n d u c t i o n o f i n f i n i t e concepts and r e c u ...

We propose a new method f o r automated theorem p r o v i n g i n f i r s t o r d e r modal l o g i c . E s s e n t i a l l y , the method c o n s i s t s i n a t r a n s l a t i o n o f modal l o g i c i n t o a s p e c i a l l y des igned t y p e d f i r s t o r d e r l o g i c c a l l e d Path L o g i c , such t h a t c l a s s i c a l modal systems ( f i r s t o r d e r Q, T , 0 4 , S4, S5)...

s l o t t e d a n d s c o r e d , i s o f t e n r e f e r r e d t o a s a b o x b l a n k . F o r s e v e r a l b o x s t y l e s , i n o r d e r t o c o n v e r t t h e b o x b l a n k i n t o a b o x , i t s t w o e n d s m u s t b e f a s t e n e d t o g e t h e r w i t h t a p e , s t a p l e s o r a d h e s i v e s s u c h a s w a t e r s o l u b l e g l u e s . T h e l o c a t i o n a t w...