Sciweavers

4277 search results - page 408 / 856
» On Multiple Linear Approximations
Sort
View
ICRA
2006
IEEE
114views Robotics» more  ICRA 2006»
15 years 5 months 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
15 years 5 months 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
FOSSACS
2004
Springer
15 years 5 months 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 4 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...
PAKDD
2001
ACM
104views Data Mining» more  PAKDD 2001»
15 years 4 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...