1002 search results - page 135 / 201 » Reasoning about Object Structures Using Ownership |
POPL
1993
ACM
14 years 2 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
CAIP
2009
Springer
14 years 2 months ago
2009
Springer
This paper deals with denoising of density images with bad Poisson statistics (low count rates), where the reconstruction of the major structures seems the only reasonable task. Ob...
ENTCS
2006
13 years 10 months ago
2006
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
TSE
2008
13 years 10 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper describes a new approach to color image rendering for mixed reality applications. The approach has two steps. The first uses neural network based photometric stereo to ...