4693 search results - page 484 / 939 » Verifying Hybrid Systems |
165
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
169
Voted
ITS
1998
Springer
15 years 10 months ago
1998
Springer
In some domains, including those requiring natural language understanding, we cannot build a system that can complete the entire task. One way to deal with such cases is to encode ...
163
click to vote
APN
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
181
click to vote
SPEECH
2008
15 years 7 months ago
2008
This paper describes a language/accent verification system for Portuguese, that explores different type of properties: acoustic, phonotactic and prosodic. The two-stage system is ...
195
click to vote
SUTC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Camera networks are used for a variety of applications including surveillance, traffic monitoring or elderly care. The shift from analog towards fully digitized systems...