Sciweavers

2697 search results - page 195 / 540
» Developing Gestural Input
Sort
View
ISMIS
2005
Springer
16 years 15 days ago
Normal Forms for Knowledge Compilation
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
Reiner Hähnle, Neil V. Murray, Erik Rosenthal
LPNMR
2005
Springer
16 years 15 days ago
Inference of Gene Relations from Microarray Data by Abduction
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
Irene Papatheodorou, Antonis C. Kakas, Marek J. Se...
155
Voted
WOSP
2004
ACM
16 years 13 days ago
Software performance engineering of component-based systems
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
Antonia Bertolino, Raffaela Mirandola
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
16 years 12 days ago
Evolving Wavelets Using a Coevolutionary Genetic Algorithm and Lifting
Finding a good wavelet for a particular application and type of input data is a difficult problem. Traditional methods of wavelet deus on abstract properties of the wavelet that ca...
Uli Grasemann, Risto Miikkulainen
182
Voted
ICADL
2004
Springer
137views Education» more  ICADL 2004»
16 years 11 days ago
Using Content-Based and Link-Based Analysis in Building Vertical Search Engines
This paper reports our research in the Web page filtering process in specialized search engine development. We propose a machine-learning-based approach that combines Web content a...
Michael Chau, Hsinchun Chen