1981 search results - page 324 / 397 » Model-Checking Hierarchical Structures |
BIBM
2008
IEEE
14 years 3 months ago
2008
IEEE
Identifying functionally important sites from biological sequences, formulated as a biological sequence labeling problem, has broad applications ranging from rational drug design ...
DSD
2008
IEEE
14 years 3 months ago
2008
IEEE
—Debugging and analyzing Wireless Sensor Networks (WSNs) are important tasks for improving the quality and performance of the network. In this paper, Pimoto is to be presented, w...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
—For a large-scale mesh network with dynamic traffic, maintaining the global state information in a centralized fashion is impractical. Hence, distributed schemes are needed to ...
ICDCS
2008
IEEE
14 years 3 months ago
2008
IEEE
XML-based data dissemination networks are rapidly gaining momentum. In these networks XML content is routed from data producers to data consumers throughout an overlay network of ...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper presents a novel biologicallyinspired hierarchical approach to organizing and controlling modular robots. The purpose of our approach is to decompose the com...