4211 search results - page 341 / 843 » Types as Abstract Interpretations |
182
click to vote
AUSAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the f...
158
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Studies on the effect of text width on readability have encouraged the use of fixed text-width web/electronic text design. The drawback of this type of design is the lo...
164
Voted
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— In this paper, a new type of microsystem is presented : a system able to perform linear and angular motion. First, the microactuator used is studied. An approximation o...
171
Voted
TPHOL
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
183
Voted
ACII
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. As robotic platforms are designed for human robot interaction applications, a full body sense of touch, or “sensitive skin,” becomes important. The Huggable is a new ...