Sciweavers

10910 search results - page 339 / 2182
» Input modeling using a computer algebra system
Sort
View
AAAI
1992
15 years 7 months ago
Automated Model Selection Using Context-Dependent Behaviors
Effective problem-solving about complex engineered devices requires device models that are both adequate for the problem and computationally efficient . Producing such models requ...
P. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki
CMSB
2009
Springer
15 years 10 months ago
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
Elisabetta De Maria, François Fages, Sylvai...
ICCV
1999
IEEE
16 years 8 months ago
Resynthesizing Facial Animation through 3D Model-based Tracking
Given video footage of a person's face, we present new techniques to automatically recover the face position and the facial expression from each frame in the video sequence. ...
Frederic H. Pighin, Richard Szeliski, David Salesi...
153
Voted
DATE
2006
IEEE
94views Hardware» more  DATE 2006»
16 years 22 days ago
An analytical state dependent leakage power model for FPGAs
In this paper we present a state dependent analytical leakage power model for FPGAs. The model accounts for subthreshold leakage and gate leakage in FPGAs, since these are the two...
Akhilesh Kumar, Mohab Anis
CHI
1999
ACM
15 years 11 months ago
The Design and Evaluation of a High-Performance Soft Keyboard
The design and evaluation of a high performance soft keyboard for mobile systems are described. Using a model to predict the upper-bound text entry rate for soft keyboards, we des...
I. Scott MacKenzie, Shawn X. Zhang