4460 search results - page 57 / 892 » Formal methods for interactive systems |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
BMCBI
2006
13 years 7 months ago
2006
Background: A central goal of molecular biology is to understand the regulatory mechanisms of gene transcription and protein synthesis. Because of their solid basis in statistics,...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— Localization for low cost humanoid or animal-like personal robots has to rely on cheap sensors and has to be robust to user manipulations of the robot. We present a visual loca...
SIAMSC
2008
13 years 7 months ago
2008
We discuss in this paper the numerical approximation of fluid-structure interaction (FSI) problems dealing with strong added-mass effect. We propose new semi-implicit algorithms ba...