4965 search results - page 610 / 993 » A Simple Abstraction for Data Modeling |
218
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
183
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
168
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
200
click to vote
CSL
1992
Springer
15 years 11 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
167
click to vote
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a novel method for human gesture recognition based on quadratic curves. Firstly, face and hands in the images are extracted by skin color and their ce...