4520 search results - page 588 / 904 » Algebraic Techniques for Timed Systems |
160
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
Hill-climbing search is the most commonly used search algorithm in ILP systems because it permits the generation of theories in short running times. However, a well known drawback...
214
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We describe a system for synchronization and organization of user-contributed content from live music events. We start with a set of short video clips taken at a single event by m...
139
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Semantic caching is an important technology for improving the response time of future user queries specified over remote servers. This paper deals with the fundamental query conta...
242
click to vote
HPCA
2003
IEEE
16 years 7 months ago
2003
IEEE
As the level of chip integration continues to advance at a fast pace, the desire for efficient interconnects-whether on-chip or off-chip--is rapidly increasing. Traditional interc...
172
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
We present the application of customized code generation to database query evaluation. The idea is to use a collection of highly efficient code templates and dynamically instantiat...