Sciweavers

1272 search results - page 171 / 255
» The Set Cover with Pairs Problem
Sort
View
LPNMR
2009
Springer
14 years 4 months ago
The Complexity of Circumscriptive Inference in Post's Lattice
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
Michael Thomas
SSD
2007
Springer
176views Database» more  SSD 2007»
14 years 4 months ago
Distributed, Concurrent Range Monitoring of Spatial-Network Constrained Mobile Objects
The ability to continuously monitor the positions of mobile objects is important in many applications. While most past work has been set in Euclidean spaces, the mobile objects rel...
Hua Lu, Zhiyong Huang, Christian S. Jensen, Linhao...
AIIA
2005
Springer
14 years 3 months ago
Solving Italian Crosswords Using the Web
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
Giovanni Angelini, Marco Ernandes, Marco Gori
INFOCOM
2003
IEEE
14 years 3 months ago
Robust Location Detection in Emergency Sensor Networks
— We propose a new framework for providing robust location detection in emergency response systems, based on the theory of identifying codes. The key idea of this approach is to ...
Saikat Ray, Rachanee Ungrangsi, Francesco De Pelle...
DIS
2008
Springer
14 years 4 days ago
Feature Selection in Taxonomies with Applications to Paleontology
Taxonomies for a set of features occur in many real-world domains. An example is provided by paleontology, where the task is to determine the age of a fossil site on the basis of t...
Gemma C. Garriga, Antti Ukkonen, Heikki Mannila