26 search results - page 5 / 6 » A New Approach for Automatic Theorem Proving in Real Geometr... |
VMCAI
2009
Springer
14 years 28 days ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
ECCV
2004
Springer
14 years 8 months ago
2004
Springer
In this paper, we propose a new PDE-based methodology for deformable surfaces that is capable of automatically evolving its shape to capture the geometric boundary of the data and ...
SIGSOFT
2006
ACM
14 years 3 days ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
ICCSA
2009
Springer
14 years 28 days ago
2009
Springer
Crop Assimilation Model (CAM) predicts the parameters of agrohydrological models with satellite images. CAM with double layers GA called CAM-DLGA, uses Soil-Water-Atmosphere-Plant ...
CP
2008
Springer
13 years 8 months ago
2008
Springer
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...