Sciweavers

2697 search results - page 195 / 540
» Developing Gestural Input
Sort
View
ISMIS
2005
Springer
15 years 12 months 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
15 years 12 months 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...
146
Voted
WOSP
2004
ACM
15 years 12 months 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»
15 years 12 months 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
ICADL
2004
Springer
137views Education» more  ICADL 2004»
15 years 12 months 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