696 search results - page 56 / 140 » Explaining abstract counterexamples |
133
click to vote
WCRE
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...
111
click to vote
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
108
Voted
ECAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper investigates the processes used by an evolved, embodied simulated agent to adapt to large disruptive changes in its sensor morphology, whilst maintaining perfo...
131
click to vote
ECTEL
2007
Springer
15 years 9 months ago
2007
Springer
—This paper presents a semiautomatic framework that aims to produce domain concept maps from text and then to derive domain ontologies from these concept maps. This methodology p...
109
Voted
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...