1302 search results - page 82 / 261 » From Liveness to Promptness |
HRI
2010
ACM
14 years 10 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&#...
95
Voted
CDC
2010
IEEE
14 years 7 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
15 years 10 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...
75
Voted
MSE
2005
IEEE
15 years 6 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...
57
Voted
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
Highly believable anthropomorphic agents endanger electronic consumers. Because of concerning tendencies in human-agent interaction arising from agents’ anthropomorphic qualitie...