393 search results - page 57 / 79 » Dynamic Temporal Interpretation Contexts for Temporal Abstra... |
169
click to vote
SIAMSC
2008
15 years 6 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...
124
click to vote
TODAES
2008
15 years 5 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 ...
135
click to vote
ICRA
2010
IEEE
15 years 4 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...
174
Voted
INFOCOM
2012
IEEE
13 years 8 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...
173
click to vote
RTAS
2003
IEEE
15 years 11 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...