Sciweavers

1460 search results - page 84 / 292
» Very Lightweight Requirements Modeling
Sort
View
121
Voted
TOG
2002
105views more  TOG 2002»
15 years 3 months ago
Painting and rendering textures on unparameterized models
This paper presents a solution for texture mapping unparameterized models. The quality of a texture on a model is often limited by the model's parameterization into a 2D text...
David (grue) DeBry, Jonathan Gibbs, Devorah DeLeon...
TOG
2012
161views Communications» more  TOG 2012»
13 years 6 months ago
Single-view hair modeling for portrait manipulation
Human hair is known to be very difficult to model or reconstruct. In this paper, we focus on applications related to portrait manipulation and take an application-driven approach...
Menglei Chai, Lvdi Wang, Yanlin Weng, Yizhou Yu, B...
133
Voted
FOSSACS
2005
Springer
15 years 9 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
174
Voted
CHI
1997
ACM
15 years 8 months ago
MOBI-D: A Model-Based Development Environment for User-Centered Design
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
Angel R. Puerta, David Maulsby
ISCAS
2007
IEEE
173views Hardware» more  ISCAS 2007»
15 years 10 months ago
Critical Charge Characterization for Soft Error Rate Modeling in 90nm SRAM
— Due to continuous technology scaling, the reduction of nodal capacitances and the lowering of power supply voltages result in an ever decreasing minimal charge capable of upset...
Riaz Naseer, Younes Boulghassoul, Jeff Draper, San...