Sciweavers

1566 search results - page 242 / 314
» On a Cone Covering Problem
Sort
View
ADBIS
2005
Springer
107views Database» more  ADBIS 2005»
15 years 9 months ago
Data Integration Using DataPile Structure
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...
David Bednárek, David Obdrzálek, Jak...
AIIA
2005
Springer
15 years 9 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
EUC
2005
Springer
15 years 9 months ago
FERMA: An Efficient Geocasting Protocol for Wireless Sensor Networks with Multiple Target Regions
Some sensor applications are interested in collecting data from multiple regions. For supporting such applications with multiple target regions, most conventional protocols are bas...
Young-Mi Song, Sung-Hee Lee, Young-Bae Ko
IEAAIE
2005
Springer
15 years 9 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
LPNMR
2005
Springer
15 years 9 months ago
Answer Sets for Propositional Theories
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
Paolo Ferraris