4693 search results - page 928 / 939 » Verifying Hybrid Systems |
115
Voted
AAAI
2008
15 years 2 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
103
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents MADeM, a multi-modal agent decision making to provide virtual agents with socially acceptable decisions. We consider multi-modal decisions as those that are ab...
137
click to vote
DILS
2008
Springer
15 years 2 months ago
2008
Springer
It is not always clear how best to represent integrated data sets, and which application and database features allow a scientist to take best advantage of data coming from various ...
102
click to vote
CVHI
2007
15 years 1 months ago
2007
: The primary focus of this paper is accessibility barriers for visually impaired people and people with dyslexia. Due to their disability a segment of these people have limited ac...
113
click to vote
EJC
2008
15 years 1 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...