Sciweavers

1981 search results - page 167 / 397
» Model-Checking Hierarchical Structures
Sort
View
DSRT
2006
IEEE
15 years 4 months ago
Real Time P2P Network Simulation for Very Large Virtual Environment
The ever increasing speed of Internet connections has led to a point where it is actually possible for every end user to seamlessly share data on Internet. Peer-To-Peer (P2P) netw...
Romain Cavagna, Christian Bouville, Jér&oci...
77
Voted
INFOVIS
2005
IEEE
15 years 3 months ago
Voronoi Treemaps
Treemaps are a well-known method for the visualization of attributed hierarchical data. Previously proposed Treemap layout algorithms are limited to rectangular shapes, which caus...
Michael Balzer, Oliver Deussen
77
Voted
ICCBR
2005
Springer
15 years 3 months ago
Navigating Through Case Base Competence
The development of large-scale case-based reasoning systems has increased the necessity of providing tools for analyzing the case base structure. In this paper we present a hierarc...
Maarten Grachten, F. Alejandro García, Jose...
72
Voted
AIMSA
2004
Springer
15 years 3 months ago
Coordinating Semantic Peers
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...
Paolo Bouquet, Luciano Serafini, Stefano Zanobini
ALS
2003
Springer
15 years 3 months ago
Anticipatory Behavioral Control
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...
Joachim Hoffmann