3726 search results - page 358 / 746 » A structured definition of the modeling process |
203
click to vote
TGIS
2002
15 years 6 months ago
2002
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...
148
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Active Appearance Model (AAM) [1] had been popular on object segmentation for medical images. However, its performance is not good on Ultrasound (US) images. In this paper, we pro...
160
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
144
click to vote
RE
2005
Springer
16 years 9 days ago
2005
Springer
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...
175
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present our work on a level of detail(LoD) technique for human-like face models in virtual environments. Conventional LoD techniques have been adapted to allow f...