692 search results - page 41 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
106
click to vote
DIS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We propose an association analysis-based strategy for exploration of multi-attribute spatial datasets possessing naturally arising classification. Proposed strategy, EST...
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The Web of Data is increasingly becoming an important infrastructure for such diverse sectors as entertainment, government, ecommerce and science. As a result, the robust...
118
click to vote
IR
2006
14 years 11 months ago
2006
The complexity and diversity of government regulations make understanding and retrieval of regulations a non-trivial task. One of the issues is the existence of multiple sources o...
115
click to vote
WCET
2010
14 years 9 months ago
2010
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...
100
click to vote
ENTCS
2006
14 years 12 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...