Sciweavers

4163 search results - page 266 / 833
» A comprehensive combination framework
Sort
View
KI
1999
Springer
15 years 11 months ago
Systematic vs. Local Search for SAT
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
Holger H. Hoos, Thomas Stützle
RECOMB
1999
Springer
15 years 10 months ago
Evolution of metabolisms: a new method for the comparison of metabolic pathways
The abundance of information provided by completely sequenced genomes de nes a starting point for new insights in the multilevel organization of organisms and their evolution. At ...
Christian V. Forst, Klaus Schulten
ECAI
1990
Springer
15 years 10 months ago
Knowledge-Intensive Case-Based Reasoning and Sustained Learning
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...
Agnar Aamodt
CONEXT
2007
ACM
15 years 10 months ago
A hybrid finite automaton for practical deep packet inspection
Deterministic finite automata (DFAs) are widely used to perform regular expression matching in linear time. Several techniques have been proposed to compress DFAs in order to redu...
Michela Becchi, Patrick Crowley
CICLING
2010
Springer
15 years 10 months ago
Multi Word Term Queries for Focused Information Retrieval
In this paper, we address both standard and focused retrieval tasks based on comprehensible language models and interactive query expansion (IQE). Query topics are expanded using a...
Eric SanJuan, Fidelia Ibekwe-Sanjuan