1548 search results - page 231 / 310 » Client-Site Query Extensions |
103
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
—We introduce extensions of first-order logic (FO) and fixed-point logic (FP) with operators that compute the rank of a definable matrix. These operators are generalizations o...
91
Voted
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
While numerous metrics for information retrieval are available in the case of binary relevance, there is only one commonly used metric for graded relevance, namely the Discounted ...
114
click to vote
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
111
click to vote
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Automatic segmentation and classification of recorded meetings provides a basis towards understanding the content of a meeting. It enables effective browsing and querying in a me...
130
Voted
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Existing sequence comparison software applications lack automation, abstraction, performance, and flexibility. Users need a new way of studying and applying sequence comparisons i...