533 search results - page 45 / 107 » Protocol synthesis from timed and structured specifications |
116
click to vote
INFOVIS
1998
IEEE
15 years 5 months ago
1998
IEEE
Geographic Visualization, sometimes called cartographic visualization, is a form of information visualization in which principles from cartography, geographic information systems ...
106
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
The study of networked systems is an emerging field, impacting almost every area of engineering and science, including the important domains of communication systems, biology, soc...
144
click to vote
TALG
2008
15 years 1 months ago
2008
We present simple, fully dynamic and kinetic data structures, which are variants of a dynamic two-dimensional range tree, for maintaining the closest pair and all nearest neighbors...
126
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multi-agent system...
SIGMOD
2003
ACM
16 years 1 months ago
2003
ACM
Recently, a technique called quotient cube was proposed as a summary structure for a data cube that preserves its semantics, with applications for online exploration and visualiza...