2225 search results - page 173 / 445 » Logical Structures in the Lexicon |
142
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
163
click to vote
IISWC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
167
click to vote
GLVLSI
2007
IEEE
16 years 25 days ago
2007
IEEE
A PAL-based logic block is the core of great majority of contemporary CPLD devices. The purpose of the paper is to present a new approach to multi-level synthesis for PAL-based CP...
165
click to vote
SAT
2007
Springer
16 years 19 days ago
2007
Springer
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
186
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
Inductive Logic Programming (ILP) systems have been successfully applied to solve complex problems in bioinformatics by viewing them as binary classification tasks. It remains an...