Sciweavers

2697 search results - page 195 / 540
» Developing Gestural Input
Sort
View
ISMIS
2005
Springer
16 years 28 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
204
Voted
LPNMR
2005
Springer
16 years 28 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...
160
Voted
WOSP
2004
ACM
16 years 25 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
208
Voted
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
16 years 24 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
198
Voted
ICADL
2004
Springer
137views Education» more  ICADL 2004»
16 years 24 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