2586 search results - page 140 / 518 » Automatic Abstraction for Congruences |
166
Voted
MKM
2009
Springer
16 years 2 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...
188
Voted
AFP
2008
Springer
16 years 1 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 ...
186
Voted
CLEF
2007
Springer
16 years 1 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...
207
Voted
CSL
2004
Springer
16 years 25 days 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...
146
Voted
ICWE
2004
Springer
16 years 24 days 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 ...