1278 search results - page 103 / 256 » The representation of policies as system objects |
POPL
2003
ACM
14 years 10 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
We propose Recursive Compositional Models (RCMs) for simultaneous multi-view multi-object detection and parsing (e.g. view estimation and determining the positions of the object s...
SSD
2007
Springer
14 years 4 months ago
2007
Springer
In many modern applications such as biometric identification systems, sensor networks, medical imaging, geology, and multimedia databases, the data objects are not described exact...
WACV
2005
IEEE
14 years 3 months ago
2005
IEEE
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...
ECOOP
2004
Springer
14 years 3 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...