2748 search results - page 305 / 550 » Generating Object-Z Specifications from Use Cases |
142
click to vote
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
When constructing 3D geometry for use in cel animation, the reference drawings of the object or character often contain various view-specific distortions, which cannot be captured...
108
click to vote
VMV
2000
15 years 5 months ago
2000
A digital photo studio was built to generate high quality real world input data for various imagebased rendering and vision algorithms. Special attention was paid to carefully con...
137
click to vote
TAP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
138
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We are developing a cross-media information retrieval system, in which users can view specific segments of lecture videos by submitting text queries. To produce a text index, the ...
214
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
We propose a scalable distributed data structure (SDDS) called SD-Rtree. We intend our structure for point and window queries over possibly large spatial datasets distributed on c...