503 search results - page 87 / 101 » Real-time Property Preservation in Approximations of Timed S... |
SIROCCO
2010
13 years 9 months ago
2010
We consider asynchronous message-passing systems in which some links are timely and processes may crash. Each run defines a timeliness graph among correct processes: (p, q) is an e...
CPHYSICS
2007
13 years 7 months ago
2007
Simulation of biomembranes over length and time scales relevant to cellular biology is not currently feasible with molecular dynamics including full atomic detail. Barring an unfo...
JZUSC
2010
13 years 6 months ago
2010
: A DP curve is a new kind of parametric curve defined by Delgado and Peña (2003); it has very good properties when used in both geometry and algebra, i.e., it is shape preserving...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper presents a system for video object generation and selective encoding with applications in surveillance, mobile videophones, and automotive industry. Object tracking and...
CDC
2009
IEEE
14 years 8 days ago
2009
IEEE
Abstract— In this paper we consider the problem of estimating the attitude of a rigid body equipped with a triad of rate gyros and a pan and tilt camera. The nonlinear attitude o...