Sciweavers

21876 search results - page 3969 / 4376
» Computer game-flow design
Sort
View
AUTOMATICA
2008
96views more  AUTOMATICA 2008»
15 years 5 months ago
Nonlinear gliding stability and control for vehicles with hydrodynamic forcing
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
Pradeep Bhatta, Naomi Ehrich Leonard
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
15 years 5 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
AUTOMATICA
2008
154views more  AUTOMATICA 2008»
15 years 5 months ago
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
Giordano Pola, Antoine Girard, Paulo Tabuada
BMCBI
2010
109views more  BMCBI 2010»
15 years 5 months ago
FPGA acceleration of the phylogenetic likelihood function for Bayesian MCMC inference methods
Background: Likelihood (ML)-based phylogenetic inference has become a popular method for estimating the evolutionary relationships among species based on genomic sequence data. Th...
Stephanie Zierke, Jason D. Bakos
BIOSYSTEMS
2007
92views more  BIOSYSTEMS 2007»
15 years 5 months ago
A phase-based stereo vision system-on-a-chip
A simple and fast technique for depth estimation based on phase measurement has been adopted for the implementation of a real-time stereo system with sub-pixel resolution on an FP...
Javier Díaz, Eduardo Ros, Silvio P. Sabatin...
« Prev « First page 3969 / 4376 Last » Next »