232 search results - page 7 / 47 » Typing and Transformational Effects in Complex Information S... |
KBSE
2003
IEEE
14 years 23 days ago
2003
IEEE
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on the type and number of test cases executed on the software. In this pa...
DASFAA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. Warehousing heterogeneous, dynamic biological data is a key technique for biological data integration as it greatly improves performance. However, it requires complex mai...
BTW
2007
Springer
13 years 11 months ago
2007
Springer
Abstract: Content based multimedia retrieval is an important topic in database systems. An emerging and challenging topic in this area is the content based search in video data. A ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...