2136 search results - page 106 / 428 » A Game-Theoretic Operational Semantics |
135
Voted
RR
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and...
151
Voted
WCRE
2005
IEEE
15 years 9 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
140
Voted
XSYM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
109
Voted
CHARME
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
128
Voted
DEXAW
1997
IEEE
15 years 7 months ago
1997
IEEE
It is important for any data language that it enables many people to derive correct information from a databases in a simple, effective way with predictable performance. In an ana...