331 search results - page 36 / 67 » Using Redundant Constraints for Refinement |
DAC
2008
ACM
16 years 23 days ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...
CODES
1998
IEEE
15 years 4 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
85
Voted
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper presents a method for determining the six-degreeof-freedom (DOF) transformation between a camera and a base frame of interest, while concurrently estimating th...
102
click to vote
CADE
2008
Springer
16 years 2 days ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
106
Voted
DASFAA
2007
IEEE
15 years 3 months ago
2007
IEEE
Cache groups are a powerful concept for database caching, which is used to relieve the backend database load and to keep referenced data close to the application programs at the &q...