Sciweavers

3233 search results - page 186 / 647
» Validation Method for Intelligent Systems
Sort
View
AAAI
2008
15 years 6 months ago
GLADDER: Combining Gesture and Geometric Sketch Recognition
Sketch recognition systems usually recognize strokes either as stylistic gestures or geometric shapes. Both techniques have their advantages. This paper presents a method for inte...
Paul Corey, Tracy Hammond
129
Voted
CIBB
2008
15 years 5 months ago
Curating a Large-Scale Regulatory Network by Evaluating Its Consistency with Expression Datasets
Abstract. The analysis of large-scale regulatory models using data issued from genome-scale high-throughput experimental techniques is an actual challenge in the systems biology fi...
Carito Guziolowski, Jeremy Gruel, Ovidiu Radulescu...
82
Voted
ECAI
2008
Springer
15 years 5 months ago
Data-driven Induction of Functional Programs
We present a new method and system, called IGOR2, for the induction of recursive functional programs from few nonrecursive, possibly non-ground example equations describing a subse...
Emanuel Kitzelmann
129
Voted
ANTSW
2006
Springer
15 years 7 months ago
Kernelization as Heuristic Structure for the Vertex Cover Problem
Abstract. For solving combinatorial optimisation problems, exact methods accurately exploit the structure of the problem but are tractable only up to a certain size; approximation ...
Stephen Gilmour, Mark Dras
156
Voted
AIIA
1991
Springer
15 years 7 months ago
Approximate Entailment
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
Marco Cadoli, Marco Schaerf