3571 search results - page 381 / 715 » Cohen and Set Theory |
187
click to vote
ISOLA
2007
Springer
16 years 27 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
341
click to vote
UIC
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents an activity recognition approach based on the tracking of a specific human actor’s current object manipulation actions, complemented by two kinds of situation...
173
click to vote
VMCAI
2007
Springer
16 years 26 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
182
click to vote
ICTAI
2006
IEEE
16 years 24 days ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
154
click to vote
IEEECGIV
2006
IEEE
16 years 24 days ago
2006
IEEE
We present a novel approach to the problem of hairstyle construction from raw surface data such as the ones obtained from surface scans. Our approach is based on a shape matching ...