136 search results - page 22 / 28 » A Logical Framework with Explicit Conversions |
CBSE
2004
Springer
15 years 3 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
109
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Recently, the wide deployment of practical face recognition systems gives rise to the emergence of the inter-modality face recognition problem. In this problem, the face images in ...
POPL
2011
ACM
14 years 13 days ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...
IVA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The challenge of making a virtual world believable includes a requirement for AI entities which autonomously react to a dynamic environment. After the breakthroughs in be...
62
Voted
HASKELL
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...