6167 search results - page 996 / 1234 » Can Refinement be Automated |
TARK
2005
Springer
14 years 4 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
UML
2005
Springer
14 years 4 months ago
2005
Springer
Developing user interfaces for ubiquitous environments is a challenging task. In such an environment, users can apply different devices to accomplish the same or different tasks. ...
WINE
2005
Springer
14 years 4 months ago
2005
Springer
Nash equilibria and dominant strategies are two of the major approaches to deal with selfishness in an automated system (AS), where each agent is a selfish entity. In this paper,...
SC
2004
ACM
14 years 4 months ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...
SIGIR
2004
ACM
14 years 4 months ago
2004
ACM
This paper investigates the level of metadata accuracy required for image filters to be valuable to users. Access to large digital image and video collections is hampered by ambig...