347 search results - page 34 / 70 » Overview of INEX 2005 |
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
VISSOFT
2005
IEEE
14 years 1 months ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
VISUALIZATION
2005
IEEE
14 years 1 months ago
2005
IEEE
Curve-skeletons are thinned 1D representations of 3D objects useful for many visualization tasks including virtual navigation, reduced-model formulation, visualization improvement...
VISUALIZATION
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes an experimental study of three perceptual properties of motion: flicker, direction, and velocity. Our goal is to understand how to apply these properties to ...
CIVR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Information Retrieval is a supporting technique which underpins a broad range of content-based applications including retrieval, filtering, summarisation, browsing, clas...