1302 search results - page 82 / 261 » From Liveness to Promptness |
HRI
2010
ACM
13 years 6 months ago
2010
ACM
Abstract--This paper proposes an agent system that semiautomatically creates stories about daily events detected by ubiquitous sensors. These stories are knowledge of inhabitants&#...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
MSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Tools have been developed that enable in-circuit testing of content processing hardware. The tools automate test and verification of new circuits using data from a predefined te...
AGENTS
2000
Springer
14 years 16 days ago
2000
Springer
Highly believable anthropomorphic agents endanger electronic consumers. Because of concerning tendencies in human-agent interaction arising from agents’ anthropomorphic qualitie...