Sciweavers

4865 search results - page 681 / 973
» The Complexity of Graph Connectivity
Sort
View
RSFDGRC
2005
Springer
127views Data Mining» more  RSFDGRC 2005»
15 years 10 months ago
Hierarchical Information Maps
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
Andrzej Skowron, Piotr Synak
ANTSW
2004
Springer
15 years 10 months ago
Hypothesis Corroboration in Semantic Spaces with Swarming Agents
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to suppo...
Peter Weinstein, H. Van Dyke Parunak, Paul Chiusan...
PCM
2004
Springer
153views Multimedia» more  PCM 2004»
15 years 10 months ago
Segmentation of Interest Objects Using the Hierarchical Mesh Structure
The object boundary of an image plays an important role for image analysis and interpretation. The watershed algorithm and the region growing algorithm are popularly employed for i...
Dong-Keun Lim, Yo-Sung Ho
POLICY
2004
Springer
15 years 10 months ago
PROTON: A Policy-based Solution for Future 4G devices
We present PROTON, a policy-based solution for 4G mobile devices – it allows users to seamlessly connect to highly integrated heterogeneous wireless networks. The key motivation...
Pablo Vidales, Rajiv Chakravorty, Calicrates Polic...
APN
2003
Springer
15 years 10 months ago
Model Checking Safety Properties in Modular High-Level Nets
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
Marko Mäkelä