2586 search results - page 140 / 518 » Automatic Abstraction for Congruences |
MKM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...
AFP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
CLEF
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The paper describes QAst-v1 a robust question answering system for answering factoid questions in manual and automatic transcriptions of speech. The system is an adaptati...
CSL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
ICWE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we discuss the automatic construction of webbased courseware applications from XML descriptions of appropriate UML models. The created applications conform ...