Sciweavers

9405 search results - page 1090 / 1881
» Computing a Model of Set Theory
Sort
View
ICRA
2005
IEEE
90views Robotics» more  ICRA 2005»
16 years 1 months ago
Dynamic Ambiguities in Frictional Rigid-body Systems with Application to Climbing via Bracing
Abstract— Constructing climbing behaviors for hyperredundant robots that account for the system dynamics requires a model of robot dynamics under contact and friction. One common...
Aaron Greenfield, Alfred A. Rizzi, Howie Choset
NIPS
2003
15 years 9 months ago
Fast Algorithms for Large-State-Space HMMs with Applications to Web Usage Analysis
In applying Hidden Markov Models to the analysis of massive data streams, it is often necessary to use an artificially reduced set of states; this is due in large part to the fac...
Pedro F. Felzenszwalb, Daniel P. Huttenlocher, Jon...
ATMOS
2009
103views Optimization» more  ATMOS 2009»
15 years 8 months ago
Efficient Route Planning in Flight Networks
We present a set of three new time-dependent models with increasing flexibility for realistic route planning in flight networks. By these means, we obtain small graph sizes while m...
Daniel Delling, Thomas Pajor, Dorothea Wagner, Chr...
AI
2008
Springer
15 years 7 months ago
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
Di Wu, Xenofon D. Koutsoukos
DAM
2008
83views more  DAM 2008»
15 years 7 months ago
Multi-group support vector machines with measurement costs: A biobjective approach
Support Vector Machine has shown to have good performance in many practical classification settings. In this paper we propose, for multi-group classification, a biobjective optimi...
Emilio Carrizosa, Belen Martin-Barragan, Dolores R...
« Prev « First page 1090 / 1881 Last » Next »