4211 search results - page 341 / 843 » Types as Abstract Interpretations |
171
click to vote
AUSAI
2007
Springer
16 years 28 days 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...
144
click to vote
ICCS
2007
Springer
16 years 27 days 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...
143
click to vote
ICRA
2005
IEEE
16 years 10 days 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...
156
click to vote
TPHOL
2005
IEEE
16 years 10 days 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...
167
click to vote
ACII
2005
Springer
16 years 9 days 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 ...