Sciweavers

12015 search results - page 188 / 2403
» Interactive Algorithms 2005
Sort
View
ECAIW
2008
Springer
15 years 4 months ago
An Autonomous Algorithm for Generating and Merging Clinical Algorithms
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...
Francis Real, David Riaño
123
Voted
GI
2001
Springer
15 years 7 months ago
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Dominique Cansell, Dominique Méry, Stephan ...
137
Voted
SGAI
2004
Springer
15 years 7 months ago
Interactive Selection of Visual Features through Reinforcement Learning
We introduce a new class of Reinforcement Learning algorithms designed to operate in perceptual spaces containing images. They work by classifying the percepts using a computer vi...
Sébastien Jodogne, Justus H. Piater
129
Voted
ICPR
2010
IEEE
15 years 7 months ago
Active Boosting for Interactive Object Retrieval
This paper presents a new algorithm based on boosting for interactive object retrieval in images. Recent works propose ”online boosting” algorithms where weak classifier sets...
Alexis Lechervy, Philippe Henri Gosselin, Frederic...
135
Voted
ADBIS
2001
Springer
115views Database» more  ADBIS 2001»
15 years 7 months ago
Interactive Constraint-Based Sequential Pattern Mining
Data mining is an interactive and iterative process. It is very likely that a user will execute a series of similar queries differing in pattern constraints and mining parameters,...
Marek Wojciechowski