1737 search results - page 129 / 348 » On Interpolation in Existence Logics |
217
click to vote
MKM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
161
click to vote
ATVA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
180
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
133
click to vote
ASPDAC
2006
ACM
16 years 10 days ago
2006
ACM
Abstract— The memory subsystem is known to comprise a significant fraction of the power dissipation in embedded systems. The memory addressing strategy, which determines the seq...
160
click to vote
ICDAR
2005
IEEE
15 years 12 months ago
2005
IEEE
In the field of computer analysis of document images, the problems of physical and logical layout analysis have been approached through a variety of heuristic, rule-based, and gr...