588 search results - page 47 / 118 » Modeling and Verifying Circuits Using Generalized Relative T... |
181
click to vote
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
111
click to vote
SIGMOD
2001
ACM
16 years 2 months ago
2001
ACM
Estimating the result size of complex queries that involve selection on multiple attributes and the join of several relations is a difficult but fundamental task in database query...
123
Voted
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
115
Voted
GLVLSI
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present an approved linear-time algorithm for statistical leakage analysis in the present of any spatial correlation condition (strong or weak). The new algorith...
125
Voted
DNA
2006
Springer
15 years 5 months ago
2006
Springer
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...