25 search results - page 2 / 5 » A Product Specification Database for Visual Prototyping |
ICDT
2009
ACM
13 years 2 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
ICDE
1994
IEEE
13 years 9 months ago
1994
IEEE
We describe the design and implementation of QBISM (Query By Interactive, Spatial Multimedia), a prototype for querying and visualizing 3D spatial data. Our first application is i...
MVA
2007
13 years 6 months ago
2007
In this paper we address automated visual inspection of tablets that may, in contrast to manual tablet sorting, provide objective and reproducible tablet quality assurance. Visual...
DEXA
1997
Springer
13 years 8 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
AVI
2004
13 years 6 months ago
2004
Summarizing large multidimensional datasets is a challenging task, often requiring extensive investigation by a user to identify overall trends and important exceptions to them. W...