3922 search results - page 219 / 785 » The IA-64 Architecture at Work |
286
click to vote
LOGCOM
1998
15 years 6 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
152
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Procedures for Boolean satis ability most commonly work with Conjunctive Normal Form. Powerful SAT techniques based on implications and con icts can be retained when the usual CNF...
168
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
This paper describes our ongoing work on a system that provides information about network resources and related communication facilities to applications running on a mobile device...
137
click to vote
ACII
2007
Springer
16 years 26 days ago
2007
Springer
in the form of light clusters (displayed in arrays of LEDs) and abstract electroacoustic sound — what we term low-fidelity embodiments. Thus, the architecture for such agents is...
127
Voted
CAV
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...