Sciweavers

1739 search results - page 226 / 348
» Battery Model for Embedded Systems
Sort
View
MONTEREY
2007
Springer
15 years 4 months ago
Logic-Based Regulatory Conformance Checking
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
AMFG
2005
IEEE
244views Biometrics» more  AMFG 2005»
15 years 3 months ago
Automatic 3D Facial Expression Analysis in Videos
We introduce a novel framework for automatic 3D facial expression analysis in videos. The preliminary results were demonstrated by editing the facial expression with facial recogni...
Ya Chang, Marcelo Bernardes Vieira, Matthew Turk, ...
ECRTS
2000
IEEE
15 years 2 months ago
Tolerating faults while maximizing reward
The imprecise computation(IC) model is a general scheduling framework, capable of expressing the precision vs. timeliness trade-off involved in many current real-time applications...
Hakan Aydin, Rami G. Melhem, Daniel Mossé
RTCSA
2000
IEEE
15 years 2 months ago
Optimal scheduling of imprecise computation tasks in the presence of multiple faults
With the advance of applications such as multimedia, imagelspeech processing and real-time AI, real-time computing models allowing to express the “timeliness versus precision”...
Hakan Aydin, Rami G. Melhem, Daniel Mossé
ISCAS
1999
IEEE
93views Hardware» more  ISCAS 1999»
15 years 2 months ago
Probability distribution of the switching intervals in chaotic pulse streams-a comparative study
In switched dynamic system the continuous phase ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...
T. Tsubone, T. Saito, Wolfgang M. Schwarz