2607 search results - page 420 / 522 » On the Architecture of System Verification Environments |
163
click to vote
BIOADIT
2006
Springer
15 years 10 months ago
2006
Springer
Life-like adaptive behaviour is so far an illusive goal in robot control. A capability to act successfully in a complex, ambiguous, and harsh environment would vastly increase the ...
164
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
In this paper we consider the problem of managing and exploiting schedules in an uncertain and distributed environment. We assume a team of collaborative agents, each responsible ...
231
click to vote
DAMAS
2005
Springer
15 years 12 months ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
164
click to vote
ANCS
2008
ACM
15 years 8 months ago
2008
ACM
Over the last decade, programmable Network Processors (NPs) have become widely used in Internet routers and other network components. NPs enable rapid development of complex packe...
164
click to vote
C5
2005
IEEE
16 years 1 days ago
2005
IEEE
Croquet [11,12] is a collaborative 3D platform that allows users to work together to create and share ideas. From the beginning we have worked to ensure that the Croquet interface...