Sciweavers

2061 search results - page 90 / 413
» The continuous knapsack set
Sort
View
ICCV
2011
IEEE
13 years 10 months ago
Tight Convex Relaxations for Vector-Valued Labeling Problems
The multi-label problem is of fundamental importance to computer vision, yet finding global minima of the associated energies is very hard and usually impossible in practice. Rec...
Evgeny Strekalovskiy, Bastian Goldluecke, Daniel C...
ISMIR
2004
Springer
99views Music» more  ISMIR 2004»
15 years 3 months ago
A Hybrid Graphical Model for Aligning Polyphonic Audio with Musical Scores
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...
Christopher Raphael
VLDB
2004
ACM
103views Database» more  VLDB 2004»
15 years 3 months ago
Maintenance of Spatial Semijoin Queries on Moving Points
In this paper, we address the maintenance of spatial semijoin queries over continuously moving points, where points are modeled as linear functions of time. This is analogous to t...
Glenn S. Iwerks, Hanan Samet, Kenneth P. Smith
VLDB
2004
ACM
203views Database» more  VLDB 2004»
15 years 3 months ago
PLACE: A Query Processor for Handling Real-time Spatio-temporal Data Streams
The emergence of location-aware services calls for new real-time spatio-temporal query processing algorithms that deal with large numbers of mobile objects and queries. In this de...
Mohamed F. Mokbel, Xiaopeng Xiong, Walid G. Aref, ...
HYBRID
2003
Springer
15 years 3 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas