3342 search results - page 495 / 669 » Automating Abstract Interpretation |
ICCBR
2003
Springer
14 years 4 months ago
2003
Springer
In the CBR literature from the past 25 years there is a considerable amount of research work that makes use of cases that are subspaces of some representation space rather than poi...
ICCBR
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
AINA
2010
IEEE
14 years 3 months ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
COOPIS
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
ISORC
2002
IEEE
14 years 3 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...