1989 search results - page 222 / 398 » Set functions for functional logic programming |
145
click to vote
KES
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This work proposes a family of language-independent semantic kernel functions defined for individuals in an ontology. This allows exploiting wellfounded kernel methods fo...
132
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
The instruction sets of general-purpose microprocessors are designed to offer good performance across a wide range of programs. The size and complexity of the instruction sets, how...
113
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Code libraries are characterized by feature-richness — and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...
137
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
160
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...