4355 search results - page 460 / 871 » From Interpretation to Compilation |
184
click to vote
CADE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
225
click to vote
EMMCVPR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We propose a vector representation approach to contour estimation from noisy data. Images are modeled as random elds composed of a set of homogeneous regions contours (bo...
193
Voted
FPL
1999
Springer
15 years 11 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
203
Voted
COOPIS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
254
Voted
CAPTECH
1998
Springer
15 years 11 months ago
1998
Springer
A method for matching sequences from two perspective views of a moving person silhouette is presented. Regular (approximate uniform thickness) parts are detected on an image and a ...