3824 search results - page 322 / 765 » Geometry Constructions Language |
145
click to vote
RIAO
1994
15 years 6 months ago
1994
Although commonly used in both commercial and experimental information retrieval systems, thesauri have not demonstrated consistent bene ts for retrieval performance, and it is di...
174
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...
136
click to vote
LATINCRYPT
2010
15 years 3 months ago
2010
We consider the following problem: can we construct constant-round zero-knowledge proofs (with negligible soundness) for NP assuming only the existence of one-way permutations? We...
122
click to vote
MICRO
2002
IEEE
15 years 9 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
253
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...