Sciweavers

13841 search results - page 2421 / 2769
» Algorithms and Constraint Programming
Sort
View
ICDT
2007
ACM
105views Database» more  ICDT 2007»
15 years 11 months ago
Optimization of Query Plans in the presence of Access Limitations
We consider the problem of querying data sources that have limited capabilities and can thus only be accessed by complying with certain binding patterns for their attributes. This ...
Andrea Calì, Diego Calvanese, Davide Martin...
ICSOC
2007
Springer
15 years 11 months ago
Execution Optimization for Composite Services Through Multiple Engines
Web services are rapidly emerging as a popular standard for sharing data and functionality among heterogeneous systems. We propose a general purpose Web Service Management System (...
Wubin Li, Zhuofeng Zhao, Jun Fang, Kun Chen
MSN
2007
Springer
125views Sensor Networks» more  MSN 2007»
15 years 11 months ago
Ensuring Area Coverage in Hybrid Wireless Sensor Networks
Success of Wireless Sensor Networks largely depends whether the deployed network can provide desired coverage with acceptable network lifetime. This paper proposes a distributed pr...
Nadeem Ahmed, Salil S. Kanhere, Sanjay Jha
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
15 years 11 months ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
133
Voted
AVSS
2006
IEEE
15 years 10 months ago
A Smith-Waterman Local Alignment Approach for Spatial Activity Recognition
In this paper we address the spatial activity recognition problem with an algorithm based on Smith-Waterman (SW) local alignment. The proposed SW approach utilises dynamic program...
Daniel E. Riedel, Svetha Venkatesh, Wanquan Liu
« Prev « First page 2421 / 2769 Last » Next »