Sciweavers

7522 search results - page 1244 / 1505
» Spacing memetic algorithms
Sort
View
103
Voted
B
2007
Springer
15 years 7 months ago
Symmetry Reduction for B by Permutation Flooding
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
Michael Leuschel, Michael J. Butler, Corinna Sperm...
116
Voted
CIVR
2007
Springer
157views Image Analysis» more  CIVR 2007»
15 years 7 months ago
Using multiple segmentations for image auto-annotation
Automatic image annotation techniques that try to identify the objects in images usually need the images to be segmented first, especially when specifically annotating image reg...
Jiayu Tang, Paul H. Lewis
98
Voted
CPAIOR
2007
Springer
15 years 7 months ago
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
Jan-Georg Smaus
DEXA
2007
Springer
154views Database» more  DEXA 2007»
15 years 7 months ago
Performance Oriented Schema Matching
Abstract. Semantic matching of schemas in heterogeneous data sharing systems is time consuming and error prone. Existing mapping tools employ semi-automatic techniques for mapping ...
Khalid Saleem, Zohra Bellahsene, Ela Hunt
98
Voted
ECML
2007
Springer
15 years 7 months ago
Imitation Learning Using Graphical Models
Imitation-based learning is a general mechanism for rapid acquisition of new behaviors in autonomous agents and robots. In this paper, we propose a new approach to learning by imit...
Deepak Verma, Rajesh P. N. Rao
« Prev « First page 1244 / 1505 Last » Next »