2776 search results - page 316 / 556 » System-Level Abstraction Semantics |
176
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
150
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Recursive temporal (RT) namespaces extend spatial namespaces such as IP with the notion of a nested time interval. RT namespace is an architectural approach to dealing with the un...
185
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rule...
158
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The central problems w.r.t. interoperability and data integration issues in the Semantic Web are schema and ontology matching approaches. Today it takes an expert to dete...
149
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...