3239 search results - page 370 / 648 » A Logical Process Calculus |
134
click to vote
CAEPIA
2003
Springer
15 years 7 months ago
2003
Springer
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
134
click to vote
DLOG
2004
15 years 5 months ago
2004
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
138
click to vote
EACL
2003
ACL Anthology
15 years 5 months ago
2003
ACL Anthology
Syntactic constraints in Koskenniemi’s Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turn...
138
Voted
OMER
2001
15 years 5 months ago
2001
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
127
click to vote
ISCI
2007
15 years 4 months ago
2007
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...