Sciweavers

595 search results - page 18 / 119
» Predictive State Representations with State Space Partitioni...
Sort
View
BCB
2010
150views Bioinformatics» more  BCB 2010»
14 years 5 months ago
Enzymatic target identification with dynamic states
As a metabolic network reaches from a state to a steady state, a subset of its fluxes gradually change. The sequence of intermediate states, called the dynamic state, shows the pa...
Bin Song, Sanjay Ranka, Tamer Kahveci
ACII
2005
Springer
15 years 10 days ago
Simulated Annealing Based Hand Tracking in a Discrete Space
Hand tracking is a challenging problem due to the complexity of searching in a 20+ degrees of freedom (DOF) space for an optimal estimation of hand configuration. This paper repres...
Wei Liang, Yunde Jia, Yang Liu, Cheng Ge
ICRA
2005
IEEE
91views Robotics» more  ICRA 2005»
15 years 4 months ago
Learning to Steer on Winding Tracks Using Semi-Parametric Control Policies
— We present a semi-parametric control policy representation and use it to solve a series of nonholonomic control problems with input state spaces of up to 7 dimensions. A neares...
Kenneth Robert Alton, Michiel van de Panne
DATE
2005
IEEE
97views Hardware» more  DATE 2005»
15 years 4 months ago
Efficient Solution of Language Equations Using Partitioned Representations
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
Alan Mishchenko, Robert K. Brayton, Jie-Hong Rolan...
SPIN
2010
Springer
14 years 8 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski