1201 search results - page 143 / 241 » Exact Analysis of Exact Change |
FDL
2008
IEEE
14 years 4 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
CSB
2004
IEEE
14 years 2 months ago
2004
IEEE
The Gene Ontology (GO) resource can be used as a powerful tool to uncover the properties shared among, and specific to, a list of genes produced by high-throughput functional geno...
CAV
2008
Springer
14 years 9 days ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
NAACL
2003
13 years 11 months ago
2003
We examine clarification dialogue, a mechanism for refining user questions with follow-up questions, in the context of open domain Question Answering systems. We develop an algori...
AUTOMATICA
2006
13 years 10 months ago
2006
This paper examines the identification of multi-input systems. Motivated by an experiment design problem (should one excite the various inputs simultaneously or separately), we ex...