877 search results - page 134 / 176 » Full Abstraction for HOPLA |
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
92
Voted
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— This paper presents a novel application of the twotime scale controller for the full envelop flight control of a Rotary wing Unmanned Aerial Vehicle (RUAV). In this pa...
CLUSTER
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Multistage interconnection networks based on central switches are ubiquitous in high-performance computing. Applications and communication libraries typically make use o...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—A network with two sensors communicating a remote measurement to a common access point (AP) is investigated. The sensors are connected via out-of-band and finite-capaci...
ICDM
2008
IEEE
15 years 6 months ago
2008
IEEE
The task of aligning sequences arises in many applications. Classical dynamic programming approaches require the explicit state enumeration in the reward model. This is often impr...