Sciweavers

3820 search results - page 577 / 764
» Bounded Model Debugging
Sort
View
148
Voted
IJCAI
1993
15 years 4 months ago
Learning Decision Lists over Tree Patterns and Its Application
This paper introduces a new concept, a decision tree (or list) over tree patterns, which is a natural extension of a decision tree (or decision list), for dealing with tree struct...
Satoshi Kobayashi, Koichi Hori, Setsuo Ohsuga
125
Voted
DAGM
2010
Springer
15 years 3 months ago
Interactive Motion Segmentation
Interactive motion segmentation is an important task for scene understanding and analysis. Despite recent progress state-of-theart approaches still have difficulties in adapting to...
Claudia Nieuwenhuis, Benjamin Berkels, Martin Rump...
151
Voted
ALT
2010
Springer
15 years 2 months ago
Recursive Teaching Dimension, Learning Complexity, and Maximum Classes
This paper is concerned with the combinatorial structure of concept classes that can be learned from a small number of examples. We show that the recently introduced notion of recu...
Thorsten Doliwa, Hans-Ulrich Simon, Sandra Zilles
117
Voted
AI
2008
Springer
15 years 2 months ago
Semiring induced valuation algebras: Exact and approximate local computation algorithms
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
Jürg Kohlas, Nic Wilson
105
Voted
CN
2008
97views more  CN 2008»
15 years 2 months ago
Towards real-time dynamic spectrum auctions
In this paper, we propose a low-complexity auction framework to distribute spectrum in real-time among a large number of wireless users with dynamic traffic. Our design consists o...
Sorabh Gandhi, Chiranjeeb Buragohain, Lili Cao, Ha...