1086 search results - page 174 / 218 » Points surrounding the origin |
112
click to vote
MTA
2011
14 years 6 months ago
2011
As a result of improvements in wireless communication technologies, a multimedia data streaming service can now be provided for mobile clients. Since mobile devices have low comput...
116
click to vote
SIAMCO
2011
14 years 6 months ago
2011
Abstract. A framework is introduced for the identification of controls for single-class timevarying queueing networks that are asymptotically optimal in the so-called uniform acce...
112
click to vote
TII
2010
14 years 6 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
TIP
2010
14 years 6 months ago
2010
We propose algorithms for tracking the boundary contour of a deforming object from an image sequence, when the nonaffine (local) deformation over consecutive frames is large and th...
SIAMAM
2011
14 years 6 months ago
2011
The coupling between cardiac mechanics and electric signaling is addressed in a nonstandard framework in which the electrical potential dictates the active strain (not stress) of t...