21 search results - page 3 / 5 » A Generic Approach to Make Structured Peer-to-Peer Systems T... |
OOPSLA
2007
Springer
13 years 12 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
VRST
2003
ACM
13 years 11 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
ICCV
2007
IEEE
14 years 7 months ago
2007
IEEE
Closing the semantic gap in content based image retrieval (CBIR) basically requires the knowledge of the user's intention which is usually translated into a sequence of quest...
PDP
2008
IEEE
14 years 4 days ago
2008
IEEE
The scalability properties of DHT based overlay networks is considered satisfactory. However, in large scale systems this might still cause a problem since they have a logarithmic...
CAV
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...