4098 search results - page 26 / 820 » Sound mobility models |
VL
2000
IEEE
14 years 3 months ago
2000
IEEE
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
CP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
APLAS
2008
ACM
14 years 27 days ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
SP
2006
IEEE
14 years 4 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
GW
2007
Springer
14 years 20 days ago
2007
Springer
Abstract. As may be seen at concerts and in various everyday listening situations, people often make spontaneous gestures when listening to music. We believe these gestures are int...