2725 search results - page 40 / 545 » Constraint Solving for Interpolation |
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— We show how to compute a minimal Riccatibalanced state map and a minimal Riccati-balanced state space representation starting from an image representation of a strictly...
FMCAD
2007
Springer
14 years 4 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
IDEAL
2003
Springer
14 years 3 months ago
2003
Springer
ERA is a multi-agent oriented method for solving constraint satisfaction problems [5]. In this method, agents make decisions based on the information obtained from their environmen...
CVPR
2000
IEEE
14 years 12 months ago
2000
IEEE
Image-based-interpolation creates smooth and photorealistic views between two view points. The concept of joint view triangulation (JVT) has been proven to be an efficient multi-v...
WSC
2008
14 years 6 days ago
2008
We consider discrete stochastic optimization problems where the objective function can only be estimated by a simulation oracle; the oracle is defined only at the discrete points....