77016 search results - page 86 / 15404 » Modeling |
102
click to vote
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
100
click to vote
FASE
2008
Springer
15 years 1 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
110
click to vote
APCCM
2010
15 years 1 months ago
2010
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
ICWE
2010
Springer
14 years 10 months ago
2010
Springer
Sketching web applications with mockup tools is a common practice that improves the process of elicitation and validation of requirements in web applications. However, mockups are ...
121
Voted
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...