Sciweavers

6943 search results - page 1212 / 1389
» Representations for evolutionary algorithms
Sort
View
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
16 years 26 days ago
QuteSAT: a robust circuit-based SAT solver for complex circuit structure
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang...
ICDAR
2007
IEEE
16 years 25 days ago
Simultaneous Layout Style and Logical Entity Recognition in a Heterogeneous Collection of Documents
Logical entity recognition in heterogeneous collections of document page images remains a challenging problem since the performance of traditional supervised methods degrade drama...
S. Chen, S. Mao, G. Thoma
SSDBM
2007
IEEE
110views Database» more  SSDBM 2007»
16 years 24 days ago
On Exploring Complex Relationships of Correlation Clusters
In high dimensional data, clusters often only exist in arbitrarily oriented subspaces of the feature space. In addition, these so-called correlation clusters may have complex rela...
Elke Achtert, Christian Böhm, Hans-Peter Krie...
WCRE
2007
IEEE
16 years 23 days ago
Clone Detection via Structural Abstraction
tection via Structural Abstraction William S. Evans Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z4, CANADA Christopher W. Fraser Microsoft Re...
William S. Evans, Christopher W. Fraser, Fei Ma
ATAL
2007
Springer
16 years 21 days ago
Automatic annotation of team actions in observations of embodied agents
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...
Linus J. Luotsinen, Hans Fernlund, Ladislau Bö...
« Prev « First page 1212 / 1389 Last » Next »