3323 search results - page 319 / 665 » Computational Semantics with Functional Programming |
179
Voted
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
Given a ? object and some measurements for points in this object, it is desired to find the ? location of the object. A new model based pose estimator from stereo pairs based on l...
184
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Energy-efficient computing is important in several systems ranging from embedded devices to large scale data centers. Several application domains offer the opportunity to tradeof...
148
click to vote
ITS
1992
Springer
15 years 10 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
151
click to vote
ICALP
2004
Springer
16 years 2 days ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
191
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...