1623 search results - page 123 / 325 » No Sorting |
138
Voted
AIPS
2006
15 years 6 months ago
2006
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
140
Voted
DATESO
2004
15 years 6 months ago
2004
Approach based on clustering will be described in our paper. Basic version of our system was given in [5] allows us to expand query through special index. Hierarchical agglomerativ...
127
click to vote
ERSA
2006
15 years 6 months ago
2006
In a coarse-grained reconfigurable architecture, the functions of resources such as Arithmetic Logic Units (ALUs) can be reconfigured. Unlike the programmability of a general purp...
113
click to vote
ACL
2001
15 years 6 months ago
2001
This paper presents methods for a qualitative, unbiased comparison of lexical association measures and the results we have obtained for adjective-noun pairs and preposition-noun-v...
152
Voted
FLAIRS
2001
15 years 6 months ago
2001
We present a novel approach to describe the knowledge discovery process, focusing on a generalized form of attribute called view. It is observed that the process of knowledge disc...