515 search results - page 34 / 103 » Efficient Logic Optimization Using Regularity Extraction |
142
Voted
BMCBI
2002
15 years 2 months ago
2002
Background: Pattern matching is the core of bioinformatics; it is used in database searching, restriction enzyme mapping, and finding open reading frames. It is done repeatedly ov...
122
Voted
CLEF
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....
139
click to vote
ACL
2010
15 years 16 days ago
2010
We present cdec, an open source framework for decoding, aligning with, and training a number of statistical machine translation models, including word-based models, phrase-based m...
133
Voted
ISQED
2011
IEEE
14 years 6 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
134
click to vote
KES
2004
Springer
15 years 7 months ago
2004
Springer
Artificial Intelligence algorithms can be divided into two groups according to the type of problems they solve. Knowledge-intensive domains contain explicit knowledge, whereas know...