491 search results - page 36 / 99 » Avoiding Determinization |
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
ICCV
2009
IEEE
16 years 3 months ago
2009
IEEE
We present a fast and robust system for estimating structure
and motion using a stereo pair, with straight lines as
features. Our first set of contributions are efficient algorit...
IJCNN
2008
IEEE
15 years 5 months ago
2008
IEEE
—Traditional connectionist classification models place an emphasis on learned synaptic weights. Based on neurobiological evidence, a new approach is developed and experimentally ...
182
click to vote
ICDE
2004
IEEE
16 years 3 days ago
2004
IEEE
In constrained data mining, users can specify constraints that can be used to prune the search space to avoid mining uninteresting knowledge. Since it is difficult to determine th...
145
Voted
DBWORKSHOPS
1992
14 years 12 months ago
1992
Godin, R. and R. Missaoui, An incremental concept formation approach for learning from databases, Theoretical Computer Science 133 (1994) 3533385. This paper describes a concept f...