Sciweavers

4865 search results - page 528 / 973
» The Complexity of Graph Connectivity
Sort
View
IJCAI
2007
15 years 8 months ago
A Framework for Decentralized Qualitative Model-Based Diagnosis
In this paper we propose a framework for decentralized model-based diagnosis of complex systems modeled with qualitative constraints and whose models are distributed among their s...
Luca Console, Claudia Picardi, Daniele Theseider D...
IC
2004
15 years 8 months ago
TOP: A Transport Overlay Protocol for Peer-to-Peer Applications
In the next generation Internet, the network should not only be considered as a communication medium but also as a large source of services which use entails performance, reliabil...
Thierry Rakotoarivelo, Patrick Sénac, Sebas...
TOG
2002
112views more  TOG 2002»
15 years 6 months ago
Creating models of truss structures with optimization
We present a method for designing truss structures, a common and complex category of buildings, using non-linear optimization. Truss structures are ubiquitous in the industrialize...
Jeffrey Smith, Jessica K. Hodgins, Irving Oppenhei...
SODA
2010
ACM
235views Algorithms» more  SODA 2010»
16 years 4 months ago
Algorithmic Lower Bounds for Problems Parameterized by Clique-width
Many NP-hard problems can be solved efficiently when the input is restricted to graphs of bounded tree-width or clique-width. In particular, by the celebrated result of Courcelle,...
Fedor V. Fomin, Petr A. Golovach, Daniel Lokshtano...
ECRTS
2008
IEEE
16 years 1 months ago
Temporal Analysis for Adapting Concurrent Applications to Embedded Systems
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
Sibin Mohan, Johannes Helander