755 search results - page 64 / 151 » Modular BDI architecture |
83
Voted
COLING
1990
15 years 1 months ago
1990
A modular parallel distributed processing architecture for parsing, representing and paraphrasing sentences with multiple hierarchical relative clauses is presented. A lowel-level...
85
Voted
JWSR
2007
15 years 14 days ago
2007
Existing Web service notification and eventing standards are useful in many applications, but they have serious limitations that make them ill-suited for large-scale deployments, ...
108
Voted
KI
2007
Springer
15 years 14 days ago
2007
Springer
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
ISVC
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes a GPU framework for the real-time visualization of natural textured terrains, as well as the steps that are needed to populate them on-the-fly with tens of tho...
124
Voted
TPHOL
2000
IEEE
15 years 5 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...