1219 search results - page 166 / 244 » Adaptive Natural Language Interaction |
IEE
2007
14 years 12 months ago
2007
: In recent years, we have witnessed how the Web Engineering community has started using the standard unified modelling language (UML) notation, techniques and supporting tools fo...
FROCOS
2009
Springer
15 years 6 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
AH
2006
Springer
15 years 5 months ago
2006
Springer
The volume of course-related information available to students is rapidly increasing. This abundance of information has created the need to help students find, organize, and use re...
104
click to vote
ARCS
2005
Springer
15 years 5 months ago
2005
Springer
All known life forms process information on a molecular level. This kind of chemical information processing is known to be robust, self-organizing, adaptive, decentralized, asynch...
104
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...