Sciweavers

131 search results - page 10 / 27
» Bellman goes relational
Sort
View
RC
2002
96views more  RC 2002»
13 years 7 months ago
Verification of Invertibility of Complicated Functions over Large Domains
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
Jens Hoefkens, Martin Berz
IEAAIE
2010
Springer
13 years 5 months ago
Improving Timetable Quality in Scheduled Transit Networks
This work deals with an original problem with regard to the traditionally sequential planning process in public transit networks. This problem aims at modifying the network's ...
Valérie Guihaire, Jin-Kao Hao
ICDE
2008
IEEE
2751views Database» more  ICDE 2008»
15 years 7 months ago
Skyline Query Processing for Incomplete Data
Recently, there has been much interest in processing skyline queries for various applications that include decision making, personalized services, and search pruning. Skyline queri...
Justin J. Levandoski, Mohamed E. Khalefa, Mohamed ...
ICCV
2007
IEEE
14 years 9 months ago
Hierarchical Semantics of Objects (hSOs)
A successful representation of objects in the literature is as a collection of patches, or parts, with a certain appearance and position. The relative locations of the different p...
Devi Parikh, Tsuhan Chen
EDBT
2009
ACM
133views Database» more  EDBT 2009»
14 years 2 months ago
Multiplicative synopses for relative-error metrics
Existing hierarchical summarization techniques fail to provide synopses good in terms of relative-error metrics. This paper introduces multiplicative synopses: a summarization par...
Panagiotis Karras