Sciweavers

1671 search results - page 213 / 335
» On the Covering Steiner Problem
Sort
View
CONSTRAINTS
2007
46views more  CONSTRAINTS 2007»
15 years 6 months ago
Local-search Extraction of MUSes
SAT is probably one of the most-studied constraint satisfaction problems. In this paper, a new hybrid technique based on local search is introduced in order to approximate and ext...
Éric Grégoire, Bertrand Mazure, C&ea...
DKE
2007
136views more  DKE 2007»
15 years 6 months ago
Deciding XPath containment with MSO
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath f...
Pierre Genevès, Nabil Layaïda
JNW
2006
148views more  JNW 2006»
15 years 6 months ago
An Energy Efficient Approach to Dynamic Coverage in Wireless Sensor Networks
Tracking of mobile targets is an important application of sensor networks. This is a non-trivial problem as the increased accuracy of tracking results in an overall reduction in th...
Mohamed Khalil Watfa, Sesh Commuri
EOR
2007
77views more  EOR 2007»
15 years 6 months ago
A review of congestion models in the location of facilities with immobile servers
Capacity effects are investigated, particularly as regards congestion of facilities with immobile (or fixed) servers. A review is given of research to date in this area, togethe...
Brian Boffey, Roberto D. Galvão, Luis Gonza...
MCS
2006
Springer
15 years 6 months ago
Criteria for mixed grids in computational fluid dynamics
The finite volume method is used as a numerical method for solving the fluid flow equations. This method is appropriate to employ under structured and unstructured meshes. Mixed g...
Erwin Doescher, Haroldo F. de Campos Velho, Fernan...