3256 search results - page 483 / 652 » Applications of Formal Methods to System Design and Verifica... |
WEBI
2005
Springer
15 years 3 months ago
2005
Springer
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...
88
Voted
IE
2007
14 years 11 months ago
2007
In this paper, methods for nonverbal communication in digital games and virtual worlds are explored as alternatives to chat and other text-based forms of communication. Inspired b...
AAAI
2004
14 years 11 months ago
2004
Computer systems are rapidly becoming so complex that maintaining them with human support staffs will be prohibitively expensive and inefficient. In response, visionaries have beg...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
—This article presents two methods for open-loop river flow control, based on a classical hydraulic model (the Hayami model, a partial differential equation resulting from a sim...
103
Voted
SIGMOD
2010
ACM
14 years 10 months ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...