130 search results - page 22 / 26 » Exact Algorithms for Exact Satisfiability and Number of Perf... |
KBSE
1999
IEEE
13 years 11 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
ASPDAC
2010
ACM
13 years 5 months ago
2010
ACM
In this paper, we propose a new wideband model order reduction method for interconnect circuits by using a novel adaptive sampling and error estimation scheme. We try to address t...
BMCBI
2011
12 years 11 months ago
2011
Background: High-throughput mass spectrometry (MS) proteomics data is increasingly being used to complement traditional structural genome annotation methods. To keep pace with the...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
Is the real problem in resolving correspondence using current stereo algorithms the lack of the "right" matching criterion? In studying the related task of reconstructin...
ICDE
2005
IEEE
14 years 8 months ago
2005
IEEE
Query processing in traditional information management systems has moved from an exact match model to more flexible paradigms allowing cooperative retrieval by aggregating the dat...