2043 search results - page 237 / 409 » A convenient category of domains |
153
click to vote
SOUPS
2005
ACM
16 years 2 days ago
2005
ACM
Information visualization is an effective way to easily comprehend large amounts of data. For such systems to be truly effective, the information visualization designer must be aw...
207
click to vote
VRST
2005
ACM
16 years 2 days ago
2005
ACM
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...
151
click to vote
WWW
2005
ACM
16 years 2 days ago
2005
ACM
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
162
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
145
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...