Sciweavers

2314 search results - page 179 / 463
» What is a Model
Sort
View
E4MAS
2005
Springer
15 years 9 months ago
Environments for Situated Multi-agent Systems: Beyond Infrastructure
There is a lot of confusion on what the environment of a multi-agent system (MAS) comprises. Sometimes, researchers refer to the environment as the logical entity of a MAS in which...
Danny Weyns, Giuseppe Vizzari, Tom Holvoet
118
Voted
INFOCOM
2006
IEEE
15 years 10 months ago
Delay and Capacity Trade-Offs in Mobile Ad Hoc Networks: A Global Perspective
— Since the original work of Grossglauser and Tse, which showed that the mobility can increase the capacity of an ad hoc network, there has been a lot of interest in characterizi...
Gaurav Sharma, Ravi Mazumdar, Ness B. Shroff
VRML
2003
ACM
15 years 9 months ago
Early experiences with a 3D model search engine
New acquisition and modeling tools make it easier to create 3D models, and affordable and powerful graphics hardware makes it easier to use them. As a result, the number of 3D mo...
Patrick Min, John A. Halderman, Michael M. Kazhdan...
TOCL
2008
102views more  TOCL 2008»
15 years 3 months ago
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses, which extends the Skolem class. They s...
Helmut Seidl, Kumar Neeraj Verma
128
Voted
CAISE
2004
Springer
15 years 9 months ago
Description Logics for Interoperability
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
Enrico Franconi