155 search results - page 14 / 31 » QUAD: Overview and Recent Developments |
JSW
2007
13 years 9 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
CISS
2010
IEEE
13 years 1 months ago
2010
IEEE
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
AC
1992
Springer
14 years 1 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
AFRIGRAPH
2004
ACM
14 years 3 months ago
2004
ACM
The demand for realistic human characters is driven by interactive application developers worldwide. The look of 3D models in real time graphics is efficiently improved by powerfu...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...