393 search results - page 57 / 79 » Dynamic Temporal Interpretation Contexts for Temporal Abstra... |
SIAMSC
2008
13 years 8 months ago
2008
Abstract. The sequential regularization method is a reformulation of the unsteady Navier-Stokes equations from the view point of constrained dynamical systems or approximate Helmho...
TODAES
2008
13 years 8 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— Within assembly lines, wheel assembly to continuously conveyed car bodies is still executed by human workers using a device that compensates the weight of the wheel. Th...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
Abstract—Location privacy has been a serious concern for mobile users who use location-based services provided by the thirdparty provider via mobile networks. Recently, there hav...
RTAS
2003
IEEE
14 years 1 months ago
2003
IEEE
Managing energy consumption has become vitally important to battery operated portable and embedded systems. A dynamic voltage scaling (DVS) technique reduces the processor’s dyn...