60 search results - page 11 / 12 » Loop Formulas for Circumscription |
108
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
TSP
2008
15 years 1 months ago
2008
Abstract-- This paper presents novel results on Perfect Reconstruction Feedback Quantizers (PRFQs), i.e., noise-shaping, predictive and sigma-delta A/D converters whose signal tran...
135
click to vote
CPC
2010
14 years 10 months ago
2010
Let G be a fixed connected multigraph with no loops. A random n-lift of G is obtained by replacing each vertex of G by a set of n vertices (where these sets are pairwise disjoint)...
114
click to vote
AAAI
2011
14 years 1 months ago
2011
We consider a new class of planning problems involving a set of non-negative real variables, and a set of non-deterministic actions that increase or decrease the values of these v...
129
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...