Sciweavers

2593 search results - page 165 / 519
» constraints 2007
Sort
View
NIPS
2001
15 years 8 months ago
The Unified Propagation and Scaling Algorithm
In this paper we will show that a restricted class of constrained minimum divergence problems, named generalized inference problems, can be solved by approximating the KL divergen...
Yee Whye Teh, Max Welling
ICRA
2007
IEEE
114views Robotics» more  ICRA 2007»
16 years 25 days ago
A Stable Vision-Based Control Scheme for Nonholonomic Vehicles to Keep a Landmark in the Field of View
— Control of wheeled vehicles is a difficult problem due to nonholonomic constraints. This problem is compounded by sensor limitations. A previously developed control scheme for...
Nicholas R. Gans, Seth Hutchinson
ESCAPE
2007
Springer
212views Algorithms» more  ESCAPE 2007»
16 years 21 days ago
Streaming Algorithms for Data in Motion
We propose two new data stream models: the reset model and the delta model, motivated by applications to databases, and to tracking the location of spatial points. We present algor...
Michael Hoffmann 0002, S. Muthukrishnan, Rajeev Ra...
LPNMR
2007
Springer
16 years 20 days ago
Programming Applications in CIFF
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
Paolo Mancarella, Fariba Sadri, Giacomo Terreni, F...
SPIN
2007
Springer
16 years 19 days ago
Minimal Counterexample Generation for SPIN
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
Paul Gastin, Pierre Moro