Sciweavers

323 search results - page 35 / 65
» Dualizability and graph algebras
Sort
View
AUTOMATICA
2010
113views more  AUTOMATICA 2010»
15 years 2 months ago
Decentralized estimation and control of graph connectivity for mobile sensor networks
The ability of a robot team to reconfigure itself is useful in many applications: for metamorphic robots to change shape, for swarm motion towards a goal, for biological systems to...
Peng Yang, Randy A. Freeman, G. J. Gordon, Kevin M...
SIGSOFT
2001
ACM
16 years 2 months ago
A graph based architectural (Re)configuration language
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
Michel Wermelinger, Antónia Lopes, Jos&eacu...
ISSAC
2007
Springer
121views Mathematics» more  ISSAC 2007»
15 years 8 months ago
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs
It is only in the last five years that researchers have begun to use disk-based search techniques on a large scale. The primary examples of its use come from symbolic algebra and...
Eric Robinson, Daniel Kunkle, Gene Cooperman
ICDE
2007
IEEE
89views Database» more  ICDE 2007»
15 years 5 months ago
A Flexible Query Graph Based Model for the Efficient Execution of Continuous Queries
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
Yijian Bai, Hetal Thakkar, Haixun Wang, Carlo Zani...
DAGSTUHL
2008
15 years 3 months ago
Constraint Satisfaction Problems with Infinite Templates
Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...
Manuel Bodirsky