Sciweavers

8469 search results - page 1506 / 1694
» An Agent-Environment Interaction Model
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 10 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
IMR
2004
Springer
15 years 10 months ago
Entkerner: A System for Removal of Globally Invisible Triangles from Large Meshes
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
Manfred Ernst, Frank Firsching, Roberto Grosso
IPTPS
2004
Springer
15 years 10 months ago
Uncoordinated Load Balancing and Congestion Games in P2P Systems
In P2P systems, users often have many choices of peers from whom to download their data. Each user cares primarily about its own response time, which depends on how many other use...
Subhash Suri, Csaba D. Tóth, Yunhong Zhou
ISCIS
2004
Springer
15 years 10 months ago
Biological Metaphors for Agent Behavior
A wide variety of practical problems related to the interaction of agents can be examined using biological metaphors. This paper applies the theory of G-networks to agent systems b...
Erol Gelenbe, Varol Kaptan, Yu Wang
KDD
2004
ACM
137views Data Mining» more  KDD 2004»
15 years 9 months ago
Mining scale-free networks using geodesic clustering
Many real-world graphs have been shown to be scale-free— vertex degrees follow power law distributions, vertices tend to cluster, and the average length of all shortest paths is...
Andrew Y. Wu, Michael Garland, Jiawei Han
« Prev « First page 1506 / 1694 Last » Next »