10891 search results - page 227 / 2179 » Combining Model Reductions |
BMVC
1998
15 years 5 months ago
1998
The ModelMaker [8] is a commercially available hand-held laser scanner mounted on an articulated arm. In this paper we present results from postprocessing of ModelMaker data and a...
104
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
124
click to vote
ICML
2002
IEEE
16 years 4 months ago
2002
IEEE
We empirically evaluate several state-of-theart methods for constructing ensembles of heterogeneous classifiers with stacking and show that they perform (at best) comparably to se...
163
click to vote
KDD
2005
ACM
16 years 4 months ago
2005
ACM
Web users display their preferences implicitly by navigating through a sequence of pages or by providing numeric ratings to some items. Web usage mining techniques are used to ext...
161
Voted
INEX
2009
Springer
15 years 8 months ago
2009
Springer
We describe our participation in the INEX 2009 Entity Ranking track. We employ a probabilistic retrieval model for entity search in which term-based and category-based representati...