861 search results - page 58 / 173 » A General Framework for Knowledge Compilation |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
CORR
2000
Springer
14 years 9 months ago
2000
Springer
: The topic of this paper is a novel Bayesian continuous-basis field representation and inference framework. Within this paper several problems are solved: The maximally informativ...
COLING
1992
14 years 11 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
ICMI
2005
Springer
15 years 3 months ago
2005
Springer
This article presents a User Interface (UI) framework for multimodal interactions targeted at immersive virtual environments. Its configurable input and gesture processing compon...