633 search results - page 3 / 127 » A Few Constructions on Constructors |
SIGIR
2008
ACM
13 years 5 months ago
2008
ACM
We address a specific enterprise document search scenario, where the information need is expressed in an elaborate manner. In our scenario, information needs are expressed using a...
WADS
1997
Springer
13 years 9 months ago
1997
Springer
DL
1998
Springer
13 years 9 months ago
1998
Springer
We describe an extensible constructor tool that helps information experts (e.g., librarians) create specialized query synthesizers for heterogeneous digital-library environments. ...
COMBINATORICS
2006
13 years 5 months ago
2006
In this paper, we prove the existence of a cyclic (v, 4, 1)-BIBD for v = 12t + 4, 3 t 50 using computer programs, which are useful in recursive constructions for cyclic designs....
CORR
2006
Springer
13 years 5 months ago
2006
Springer
In a previous work, we proved that almost all of the Calculus of Inductive Constructions (CIC), the basis of the proof assistant Coq, can be seen as a Calculus of Algebraic Constru...