2410 search results - page 18 / 482 » Multiset Ordering Constraints |
161
click to vote
PPCP
1993
15 years 8 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
154
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
Object detection is challenging partly due to the limited discriminative power of local feature descriptors. We amend this limitation by incorporating spatial constraints among ne...
149
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
− In this paper, we present a new timing-driven placement algorithm, which attempts to minimize zigzags and crisscrosses on the timing-critical paths of a circuit. We observed th...
138
click to vote
ACL
1997
15 years 5 months ago
1997
In this paper, we describe a method for automatically retrieving collocations from large text corpora. This method retrieve collocations in the following stages: 1) extracting str...
112
Voted
IJCAI
1989
15 years 5 months ago
1989
Most past research work on problem subgoal ordering are of a heuristic nature and very little attempt has been made to reveal the inherent relationship between subgoal ordering co...