Sciweavers

4277 search results - page 408 / 856
» On Multiple Linear Approximations
Sort
View
ICRA
2006
IEEE
114views Robotics» more  ICRA 2006»
16 years 25 days ago
Constrained Control for Surgical Assistant Robots
— This paper presents an approach to implement virtual fixtures for surgical robot assistants. Our approach uses a weighted, multi-objective (both linear and nonlinear) constrai...
Ankur Kapoor, Ming Li, Russell H. Taylor
SAS
2005
Springer
16 years 8 days ago
A Generic Framework for Interprocedural Analysis of Numerical Properties
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
Markus Müller-Olm, Helmut Seidl
161
Voted
FOSSACS
2004
Springer
16 years 5 days ago
Duality for Labelled Markov Processes
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
Michael W. Mislove, Joël Ouaknine, Dusko Pavl...
COST
2009
Springer
237views Multimedia» more  COST 2009»
15 years 11 months ago
Combining Audio and Video for Detection of Spontaneous Emotions
The paper presents our initial attempts in building an audio video emotion recognition system. Both, audio and video sub-systems are discussed, and description of the database of s...
Rok Gajsek, Vitomir Struc, Simon Dobrisek, Janez Z...
183
Voted
PAKDD
2001
ACM
104views Data Mining» more  PAKDD 2001»
15 years 11 months ago
Optimizing the Induction of Alternating Decision Trees
The alternating decision tree brings comprehensibility to the performance enhancing capabilities of boosting. A single interpretable tree is induced wherein knowledge is distribute...
Bernhard Pfahringer, Geoffrey Holmes, Richard Kirk...