2638 search results - page 273 / 528 » A Framework for Automatic Debugging |
205
click to vote
ASM
2003
ASM
16 years 12 days ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
243
click to vote
EPIA
2003
Springer
16 years 11 days ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
193
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes an approach to user configuration of activity awareness. This approach offers users increased flexibility by allowing the use of multiple methods of configurat...
199
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
184
click to vote
SCALESPACE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we embed the minimization scheme of an automatic 3D non-rigid registration method in a multi-scale framework. The initial model formulation was expressed a...