Sciweavers

2302 search results - page 237 / 461
» Testing as Abstraction
Sort
View
CLEF
2008
Springer
15 years 8 months ago
Combining Logic and Machine Learning for Answering Questions
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....
Ingo Glöckner, Björn Pelzer
ICA
2007
Springer
15 years 8 months ago
Gradient Convolution Kernel Compensation Applied to Surface Electromyograms
Abstract. This paper introduces gradient based method for robust assessment of the sparse pulse sources, such as motor unit innervation pulse trains in the filed of electromyograp...
Ales Holobar, Damjan Zazula
ESWS
2008
Springer
15 years 8 months ago
The Creation and Evaluation of iSPARQL Strategies for Matchmaking
Abstract. This research explores a new method for Semantic Web service matchmaking based on iSPARQL strategies, which enables to query the Semantic Web with techniques from traditi...
Christoph Kiefer, Abraham Bernstein
EUROGP
2008
Springer
135views Optimization» more  EUROGP 2008»
15 years 8 months ago
Using Genetic Programming for Turing Machine Induction
Abstract. Turing machines are playing an increasingly significant role in Computer Science domains such as bioinformatics. Instead of directly formulating a solution to a problem, ...
Amashini Naidoo, Nelishia Pillay
EUROPAR
2008
Springer
15 years 8 months ago
Parallel Lattice Boltzmann Flow Simulation on Emerging Multi-core Platforms
Abstract. A parallel Lattice Boltzmann Method (pLBM), which is based on hierarchical spatial decomposition, is designed to perform large-scale flow simulations. The algorithm uses ...
Liu Peng, Ken-ichi Nomura, Takehiro Oyakawa, Rajiv...