5247 search results - page 331 / 1050 » The Generalized A* Architecture |
173
click to vote
EVOW
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. The idea of symbolic controllers tries to bridge the gap between the top-down manual design of the controller architecture, as advocated in Brooks’ subsumption architec...
170
click to vote
EVOW
2003
Springer
16 years 23 days ago
2003
Springer
One of the problems in the use of evolutionary computer systems in artistic tasks is the lack of artificial models of human critics. In this paper, based on the state of the art an...
194
click to vote
HUC
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. As low-level architectural support for context-aware computing matures, we are ready to explore more general and powerful means of accessing context data. Information req...
218
click to vote
TPHOL
2000
IEEE
15 years 12 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...
173
click to vote
DAC
2000
ACM
15 years 12 months ago
2000
ACM
This paper develops the noise-counterparts to familiar delay formulas like Elmore or PRIMO. By matching the first few moments of the network’s transfer impedance, we obtain effi...