929 search results - page 139 / 186 » Computer assistance for model definition |
104
Voted
WEBNET
2000
15 years 2 months ago
2000
: Web usability is a common term used in discussions of WWW (World Wide Web). This is definitely important, as more and more web sites are frequently visited and have great impact ...
ENTCS
2008
15 years 23 days ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
127
click to vote
TAP
2010
Springer
14 years 10 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
111
click to vote
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
A joint segmentation is a simultaneous segmentation of registered 2D images and 3D points reconstructed from the multiple view images. It is fundamental in structuring the data fo...
117
Voted
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
We propose a method that computes a conformal mapping from a multiply connected mesh to the so-called slit domain, which consists of a canonical rectangle or disk in which 3D curve...