7124 search results - page 1233 / 1425 » Programming Languages and Operating Systems |
121
Voted
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
115
Voted
LREC
2008
15 years 4 months ago
2008
The goal of the DARPA MADCAT (Multilingual Automatic Document Classification Analysis and Translation) Program is to automatically convert foreign language text images into Englis...
102
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...
125
Voted
EHCI
2004
15 years 4 months ago
2004
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...
125
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...