352 search results - page 33 / 71 » Algorithms to Test Ray-Triangle Intersection. Comparative St... |
103
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Microarray experiments generate vast amounts of data. The functional context of differentially expressed genes can be assessed by querying the Gene Ontology (GO) datab...
113
click to vote
CVPR
2001
IEEE
16 years 4 months ago
2001
IEEE
The FERET evaluation compared recognition rates for different semi-automated and automated face recognition algorithms. We extend FERET by considering when differences in recognit...
111
Voted
PROCEDIA
2010
15 years 22 days ago
2010
This study is devoted to exploring possible applications of GPU technology for acceleration of the database access. We use the n-gram based approximate text search engine as a tes...
113
click to vote
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...
121
click to vote
TLCA
1993
Springer
15 years 6 months ago
1993
Springer
This paper describes formalizations of Tait’s normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs p...