Sciweavers

2583 search results - page 385 / 517
» On the Representation of Timed Polyhedra
Sort
View
DCOSS
2005
Springer
15 years 12 months ago
Design and Comparison of Lightweight Group Management Strategies in EnviroSuite
Tracking is one of the major applications of wireless sensor networks. EnviroSuite, as a programming paradigm, provides a comprehensive solution for programming tracking applicatio...
Liqian Luo, Tarek F. Abdelzaher, Tian He, John A. ...
DEXA
2005
Springer
118views Database» more  DEXA 2005»
15 years 12 months ago
Detecting Semantically Correct Changes to Relevant Unordered Hidden Web Data
Current proposals for XML change detection use structural constraints to detect the changes and they ignore semantic constraints. Consequently, they may produce semantically incorr...
Vladimir Kovalev, Sourav S. Bhowmick
DILS
2005
Springer
15 years 12 months ago
Support for BioIndexing in BLASTgres
The ability to perform genome-wide and cross-genome data analyses can dramatically reduce the time required for new biological discoveries. This raises important issues in bioinfor...
Ruey-Lung Hsiao, Douglas Stott Parker Jr., Hung-ch...
FSTTCS
2005
Springer
15 years 12 months ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...
GECCO
2005
Springer
160views Optimization» more  GECCO 2005»
15 years 12 months ago
On the complexity of hierarchical problem solving
Competent Genetic Algorithms can efficiently address problems in which the linkage between variables is limited to a small order k. Problems with higher order dependencies can onl...
Edwin D. de Jong, Richard A. Watson, Dirk Thierens