3342 search results - page 227 / 669 » Automating Abstract Interpretation |
112
click to vote
WISES
2003
15 years 4 months ago
2003
Abstract — This paper presents the design and implementation of a system applicable for autonomous repair welding on huge forming tools, often realized as blacksmith’s swages. ...
118
Voted
DLOG
1997
15 years 4 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
125
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
129
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
124
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...