2850 search results - page 248 / 570 » On Timed Models and Full Abstraction |
180
click to vote
TLCA
2009
Springer
16 years 1 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...
180
click to vote
CDC
2008
IEEE
16 years 1 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...
185
click to vote
GLOBECOM
2008
IEEE
16 years 1 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...
174
click to vote
MMSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We propose a model-based spatial layer bit allocation algorithm for H.264/SVC in this work. The spatial scalability of H.264/SVC is achieved by a multi-layer approach, w...
179
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Although the human hand is a complex biomechanical system, only a small set of features may be necessary for observation learning of functional grasp classes. We explor...