1096 search results - page 5 / 220 » Abstract Canonical Inference |
ADBIS
2005
Springer
15 years 3 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
77
Voted
ESOP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
BIRTHDAY
2010
Springer
14 years 7 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
148
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
Humans have abstract models for object classes which helps recognize previously unseen instances, despite large intra-class variations. Also objects are grouped into classes based...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation