2940 search results - page 342 / 588 » Mediated Agent Interaction |
204
click to vote
AIMSA
1998
Springer
15 years 11 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
203
Voted
IJSWIS
2007
15 years 6 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
175
click to vote
CI
2004
15 years 6 months ago
2004
The emerging standards for the specification of Web Services support the publication of the static interfaces of the operations they may execute. However, little attention is paid...
206
click to vote
AAI
2010
15 years 6 months ago
2010
This paper presents an approach for generating steering behaviors of groups of characters based on the space colonization algorithm, that has been used in the past for generating l...
173
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...