934 search results - page 54 / 187 » exact 2007 |
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
A method is presented that allows one to exactly determine all the characteristics of a PSO’s sampling distribution and explain how it changes over time, in the presence stochas...
IH
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. When creating a digital composite of two people, it is difficult to exactly match the lighting conditions under which each individual was originally photographed. In many...
103
click to vote
SFM
2007
Springer
15 years 6 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...