1154 search results - page 129 / 231 » Implementing Typed Intermediate Languages |
113
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We address the problem of answering Web ontology queries efficiently. An ontology is formalized as a Deductive Ontology Base (DOB), a deductive database that comprises the ontology...
172
Voted
IJCV
2002
15 years 2 months ago
2002
This paper presents a fast and reliable stereo matching algorithm which produces a dense disparity map by using fast cross correlation, rectangular subregioning (RSR) and 3D maxim...
137
Voted
POPL
2010
ACM
16 years 1 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
100
Voted
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
104
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...