652 search results - page 70 / 131 » Linear Explicit Substitutions |
SCP
2008
13 years 8 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
CL
2004
Springer
13 years 8 months ago
2004
Springer
In the context of meta-programming and reflective languages, classes are treated as full fledged objects which are instances of other classes named metaclasses. Metaclasses have p...
MOC
2000
13 years 8 months ago
2000
Abstract. Two explicit error representation formulas are derived for degenerate parabolic PDEs, which are based on evaluating a parabolic residual in negative norms. The resulting ...
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
CVPR
2011
IEEE
13 years 16 days ago
2011
IEEE
Spatially-discrete Markov random fields (MRFs) and spatially-continuous variational approaches are ubiquitous in low-level vision, including image restoration, segmentation, opti...