3972 search results - page 356 / 795 » Palpability Support Demonstrated |
136
click to vote
AIIDE
2009
15 years 5 months ago
2009
We describe an AI behavior architecture that supports responsive collaborative interruptible and resumable behaviors using behavior queues. This architecture wraps sets of behavio...
155
click to vote
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
123
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
A multi-agent VRP solver is presented in this paper. It utilizes the contract-net protocol based allocation and several improvement strategies. It provides the solution with the q...
153
Voted
CADE
2010
Springer
15 years 5 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
138
click to vote
CRIWG
2009
15 years 5 months ago
2009
Intensive research and development has been conducted in the design and creation of groupware systems for distributed users. While for some activities, these groupware tools are wi...