3224 search results - page 306 / 645 » Abstract Error Projection |
173
click to vote
TPHOL
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
169
click to vote
WCRE
2007
IEEE
16 years 29 days 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...
175
click to vote
ADAEUROPE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present Sancta, a flexible control architecture for multirobot teams. It is fully written in Ada 2005, except for the reuse of some C libraries. In this paper we high...
170
click to vote
AINTEC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper describes the network architecture of an Asiawide satellite Internet that considers the situations in developing regions. The design considerations for the arc...
215
click to vote
CIARP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper, we present a statistical approach for the automatic generation of dialogs by means of a user simulator. This technique can be used to generate dialogs with...