633 search results - page 28 / 127 » A Few Constructions on Constructors |
102
click to vote
IJCAI
2003
15 years 3 months ago
2003
Identifying and breaking the symmetries of CNF formulae has been shown to lead to significant reductions in search times. In this paper we describe a more systematic and efficient...
126
click to vote
IMCSIT
2010
14 years 11 months ago
2010
The paper presents an extended version of the SuperMatrix system -- a general tool supporting automatic acquisition of lexical semantic relations from corpora. Extensions focus mai...
139
click to vote
IEAAIE
2007
Springer
15 years 8 months ago
2007
Springer
Constructing a fingerprint database is important to evaluate the performance of automatic fingerprint recognition systems. Because of the difficulty in collecting fingerprint sampl...
107
click to vote
DLS
2005
15 years 3 months ago
2005
Compile-time meta-programming allows programs to be constructed by the user at compile-time. Although LISP derived languages have long had such facilities, few modern languages ar...
131
click to vote
JAPLL
2006
15 years 1 months ago
2006
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...