2607 search results - page 350 / 522 » On the Architecture of System Verification Environments |
166
click to vote
AIPS
2006
15 years 8 months ago
2006
This work describes the solutions adopted to the problems tackled during the development of SIADEX, an intelligent planning and scheduling application where users play a central r...
154
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Double R Model (Referential and Relational model) is a computational psycholinguistic model of NLP founded on the principles of Cognitive Linguistics and implemented using the ACT...
147
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents the architecture and characteristics of a memory database intended to be used as a cache engine for web applications. Primary goals of this database are speed a...
161
click to vote
CGF
1999
15 years 6 months ago
1999
Agents in virtual environments require a combination of perception and action to behave in an autonomous way. We extend a software architecture for the management of actions blend...
176
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
UNICORE (Uniform Interface to Computer Resources) is a software infrastructure supporting seamless and secure access to distributed resources. UNICORE allows uniform access to dif...