5718 search results - page 941 / 1144 » Modeling Rule Precision |
211
click to vote
SI3D
2003
ACM
16 years 7 days ago
2003
ACM
: We present occlusion-switches for interactive visibility culling in complex 3D environments. An occlusionswitch consists of two GPUs (graphics processing units) and each GPU is u...
199
Voted
SIGIR
2003
ACM
16 years 7 days ago
2003
ACM
Thesaurus has been widely used in many applications, including information retrieval, natural language processing, and question answering. In this paper, we propose a novel approa...
192
click to vote
UIST
2003
ACM
16 years 7 days ago
2003
ACM
In this paper we propose a new model for a class of rapid serial visual presentation (RSVP) interfaces [16] in the context of consumer video devices. The basic spatial layout “e...
216
click to vote
ASP
2003
Springer
16 years 7 days ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
202
Voted
PODS
2010
ACM
16 years 2 days ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...