2909 search results - page 174 / 582 » Consistency of the theory of contexts |
166
click to vote
GW
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
155
click to vote
ISMIS
2005
Springer
15 years 12 months ago
2005
Springer
Being a good entry page to a Web site reflects how well the page enables a user to obtain optimal access, by browsing, to relevant and quality pages within the site. Our aim is to...
137
click to vote
HOLOMAS
2005
Springer
15 years 12 months ago
2005
Springer
Information-based agency is founded on two observations: everything in an agent’s world model is uncertain, and everything that an agent communicates gives away valuable informa...
128
click to vote
ARGMAS
2004
Springer
15 years 12 months ago
2004
Springer
We present the syntax and semantics for a multi-agent dialogue game protocol which permits argument over proposals for action. The protocol, called the Persuasive Argument for Mult...
167
click to vote
FATES
2004
Springer
15 years 12 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...