Sciweavers

3754 search results - page 402 / 751
» Process modeling paradigms: an evaluation
Sort
View
QEST
2010
IEEE
15 years 5 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
IUI
1998
ACM
15 years 12 months ago
U-TEL: A Tool for Eliciting User Task Models from Domain Experts
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
R. Chung-Man Tam, David Maulsby, Angel R. Puerta
3DGIS
2006
Springer
16 years 1 months ago
Digital Terrain Models Derived from SRTM Data and Kriging
The objective of this work is to define procedures to improve spatial resolution of SRTM data and to evaluate their applicability in the Serra Negra region, in the district of Pat...
T. Bernardes, I. Gontijo, H. Andrade, T. G. C. Vie...
ESOP
2001
Springer
16 years 3 days ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen
ICIP
2007
IEEE
16 years 9 months ago
Local or Global 3D Face and Facial Feature Tracker
We present in this paper a solution for 3D face and facial feature tracking using canonical correlation analysis and a 3D geometric model. This model is controlled with 17 paramet...
Franck Davoine, José Alonso Ybá&ntil...