843 search results - page 119 / 169 » Introducing the Iteration in sPBC |
169
click to vote
DLT
2006
15 years 7 months ago
2006
Duplication is an operation generating a language from a single word by iterated application of rewriting rules u uu on factors. We extend this operation to entire languages and i...
197
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— We develop a general framework for MAP estimation in discrete and Gaussian graphical models using Lagrangian relaxation techniques. The key idea is to reformulate an in...
158
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, we introduce two methods for the registration of multiple range images when a prior estimate of the transformationbetween views is not available and the overlap bet...
132
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
ound in BMC by Combining Constant Propagation and Abstraction Roy Armoni, Limor Fix1 , Ranan Fraer1 , Tamir Heyman1,3 , Moshe Vardi2 , Yakir Vizel1 , Yael Zbar1 1 Logic and Validat...
160
click to vote
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...