2661 search results - page 325 / 533 » A Semantics for Abstraction |
159
click to vote
SAS
2007
Springer
16 years 23 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
157
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
142
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. There is a growing discrepancy between the creation of digital content and its actual employment and usefulness in a learning society. Technologies for recording lectures...
192
click to vote
DASFAA
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract. As mobile devices proliferate and networks become more locationaware, the corresponding growth in spatio-temporal data will demand analysis techniques to mine patterns th...
151
click to vote
EWMF
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We show that eigenvector decomposition can be used to extract a term taxonomy from a given collection of text documents. So far, methods based on eigenvector decompositio...