488 search results - page 49 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
105
Voted
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
—Support Vector Machines are used to combine the outputs of multiple entity extractors, thus creating a composite entity extraction system. The composite system has a significant...
117
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. In particular, the so-calle...
124
click to vote
COLING
2010
14 years 9 months ago
2010
Lexicalized Well-Founded Grammar (LWFG) is a recently developed syntacticsemantic grammar formalism for deep language understanding, which balances expressiveness with provable le...
100
click to vote
IJVR
2008
15 years 2 months ago
2008
Based on contemporary Chaos and Complexity Theories, ImaginationTOOLSTM is an innovative Virtual Reality (VR) software architecture which, by means of an agent-based interface, end...
100
click to vote
ITNG
2010
IEEE
15 years 7 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...