3073 search results - page 114 / 615 » Real World Verification |
SIGMOD
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we examine how active database technology developed over the past few years has been put to use to solve real world problems. We note how the technology had to be e...
SAG
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes the design and implementation of a model of how to integrate sensors and devices into a GRID infrastructure. We describe its proxy-based approach, the port-ty...
CAISE
2003
Springer
14 years 2 months ago
2003
Springer
Meta-models and Generic models have been built in the area of Information Systems to facilitate the task of system designers. It de-emphasises the view under which applications are...
IFIP
1994
Springer
14 years 1 months ago
1994
Springer
Focusing on examples of knowledge systems and machine learning, this paper illustrates the transfer of AI technology from science to real-world applications. Decades of AI researc...
DIS
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Attribute value taxonomies (AVTs) have been used to perform AVT-guided decision tree learning on partially or totally missing data. In many cases, user-supplied AVTs are ...