Sciweavers

1237 search results - page 52 / 248
» Abstract shade trees
Sort
View
ECAI
2004
Springer
15 years 10 months ago
Tractable Symmetry Breaking Using Restricted Search Trees
We present a new conceptual abstraction in symmetry breaking – the GE-tree. The construction and traversal of a GE-tree breaks all symmetries in any constraint satisfaction or si...
Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, St...
ROBOCUP
2004
Springer
111views Robotics» more  ROBOCUP 2004»
15 years 10 months ago
Realtime Object Recognition Using Decision Tree Learning
Abstract. An object recognition process in general is designed as a domain specific, highly specialized task. As the complexity of such a process tends to be rather inestimable, m...
Dirk Wilking, Thomas Röfer
156
Voted
DIS
2003
Springer
15 years 9 months ago
Prediction of Molecular Bioactivity for Drug Design Using a Decision Tree Algorithm
Abstract. A machine learning-based approach to the prediction of molecular bioactivity in new drugs is proposed. Two important aspects are considered for the task: feature subset s...
Sanghoon Lee, Jihoon Yang, Kyung-Whan Oh
122
Voted
CSL
2010
Springer
15 years 5 months ago
Graded Computation Tree Logic with Binary Coding
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
Alessandro Bianco, Fabio Mogavero, Aniello Murano
147
Voted
GRAMMARS
2000
100views more  GRAMMARS 2000»
15 years 4 months ago
Tabulation of Automata for Tree-Adjoining Languages
Abstract. We propose a modular design of tabular parsing algorithms for treeadjoining languages. The modularity is made possible by a separation of the parsing strategy from the me...
Miguel A. Alonso, Mark-Jan Nederhof, Eric Villemon...