1176 search results - page 107 / 236 » Implicit Abstraction Heuristics |
137
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
111
click to vote
GCB
2006
Springer
15 years 4 months ago
2006
Springer
Abstract: The production of commercial DNA microarrays is based on a light-directed chemical synthesis driven by a set of masks or micromirror arrays. Because of the natural proper...
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
Abstract— As VLSI technology enters the ultra-deep submicron era, wire coupling capacitance starts to dominate self capacitance and can no longer be neglected in timing driven ro...
AAAI
1994
15 years 2 months ago
1994
This article shows how rational analysis can be used to minimize learning cost for a general class of statistical learning problems. We discuss the factors that influence learning...
108
click to vote
CIBCB
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- The RNA secondary structure design (SSD) problem is a recently emerging research topic motivated by applications such as customized drug design and the self-assembly of ...