Sciweavers

14158 search results - page 412 / 2832
» Generalized switch-setting problems
Sort
View
CORR
2007
Springer
133views Education» more  CORR 2007»
15 years 5 months ago
Space and camera path reconstruction for omni-directional vision
In this paper, we address the inverse problem of reconstructing a scene as well as the camera motion from the image sequence taken by an omni-directional camera. Our structure fro...
Oliver Knill, Jose Ramirez-Herran
155
Voted
CORR
1998
Springer
131views Education» more  CORR 1998»
15 years 4 months ago
Influencing Software Usage
Technology designers often strive to design systems that are flexible enough to be used in a wide range of situations. Software engineers, in particular, are trained to seek gener...
Lorrie Faith Cranor, Rebecca N. Wright
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 3 months ago
When LP is the Cure for Your Matching Woes: Improved Bounds for Stochastic Matchings
Abstract Consider a random graph model where each possible edge e is present independently with some probability pe. Given these probabilities, we want to build a large/heavy match...
Nikhil Bansal, Anupam Gupta, Jian Li, Juliá...
ICDT
2012
ACM
251views Database» more  ICDT 2012»
13 years 7 months ago
Computing universal models under guarded TGDs
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
André Hernich
112
Voted
RTA
1993
Springer
15 years 9 months ago
Topics in Termination
Abstract. We generalize the various path orderings and the conditions under which they work, and describe an implementation of this general ordering. We look at methods for proving...
Nachum Dershowitz, Charles Hoot