19 search results - page 4 / 4 » Proof Explanation in the DR-DEVICE System |
FMCO
2007
Springer
13 years 11 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
CVPR
2007
IEEE
14 years 7 months ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
PLDI
1997
ACM
13 years 9 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
AI
2003
Springer
13 years 10 months ago
2003
Springer
Private information about individuals that engage in e-commerce business transactions is of economic value to businesses for market analysis and for identifying possible future par...