Sciweavers

823 search results - page 106 / 165
» Stateful Subset Cover
Sort
View
DBPL
2007
Springer
98views Database» more  DBPL 2007»
14 years 4 months ago
Towards Practical Typechecking for Macro Tree Transducers
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
Alain Frisch, Haruo Hosoya
SARA
2007
Springer
14 years 4 months ago
Homogeneous Hierarchical Composition of Areas in Multi-robot Area Coverage
Multi-robot area coverage poses several research challenges. The challenge of coordinating multiple robots’ actions coupled with the challenge of minimizing the overlap in covera...
Sriram Raghavan, Ravindran B
WEBDB
2007
Springer
128views Database» more  WEBDB 2007»
14 years 4 months ago
Supporting Range Queries on Web Data Using k-Nearest Neighbor Search
A large volume of geospatial data is available on the web through various forms of applications. However, access to these data is limited by certain types of queries due to restric...
Wan D. Bae, Shayma Alkobaisi, Seon Ho Kim, Sada Na...
COMSWARE
2006
IEEE
14 years 4 months ago
Middleware for wireless sensor networks: A survey
Given the fast growing technological progress in microelectronics and wireless communication devices, in the near future, it is foreseeable that Wireless Sensor Networks (WSN) wil...
Salem Hadim, Nader Mohamed
CSMR
2006
IEEE
14 years 4 months ago
Object-Oriented Legacy System Trace-based Logic Testing
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
Stéphane Ducasse, Tudor Gîrba, Roel W...