Sciweavers

3758 search results - page 234 / 752
» A Complete Subsumption Algorithm
Sort
View
DATE
2005
IEEE
176views Hardware» more  DATE 2005»
15 years 8 months ago
LORD: A Localized, Reactive and Distributed Protocol for Node Scheduling in Wireless Sensor Networks
The lifetime of wireless sensor networks can be increased by minimizing the number of active nodes that provide complete coverage, while switching off the rest. In this paper, we ...
Arijit Ghosh, Tony Givargis
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
DAGSTUHL
2007
15 years 7 months ago
Homotopy Methods to Compute Equilibria in Game Theory
This paper presents a complete survey of the use of homotopy methods in game theory. Homotopies allow for a robust computation of game-theoretic equilibria and their refinements....
P. Jean-Jacques Herings, Ronald Peeters
142
Voted
WSCG
2001
90views more  WSCG 2001»
15 years 7 months ago
Photo-Realistic Simulation and Rendering of Halos
We present a technique for efficiently generating photo-realistic pictures of halos and inserting them into existing photographs. First, we describe an algorithm for producing ima...
Jean-Christophe Gonzato, Sylvain Marchand
AAAI
2000
15 years 7 months ago
Solving a Supply Chain Optimization Problem Collaboratively
We propose a novel algorithmic framework to solve an integrated planning and scheduling problem in supply chain management. This problem involves the integration of an inventory m...
Hoong Chuin Lau, Andrew Lim, Qi Zhang Liu