653 search results - page 23 / 131 » Implications of a Data Structure Consistency Checking System |
EFDBS
2000
13 years 9 months ago
2000
We describe the architecture of a federated system designed to allow the integration of structured, relational, data together with unstructured multimedia data. Two characteristic...
ADVIS
2006
Springer
14 years 1 months ago
2006
Springer
Investments on multimedia technology enable us to store many more reflections of the real world in digital world as videos. By recording videos about real world entities, we carry...
KDD
1995
ACM
13 years 11 months ago
1995
ACM
Wedescribe a case study in data miningfor personal loan evaluation, performed at the ABNAMRObank in the Netherlands. Historical data of clients and their pay-backbehaviourare used...
SSD
1993
Springer
13 years 11 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...