2407 search results - page 353 / 482 » A Tool for Abstraction in Model Checking |
149
click to vote
SEMWEB
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...
130
click to vote
SUM
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...
164
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
152
click to vote
ISCIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We show a two-phase approach for minimizing various communication-cost metrics in fine-grain partitioning of sparse matrices for parallel processing. In the first phase...
148
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...