101 search results - page 12 / 21 » Abstract Interpretation Based Formal Methods and Future Chal... |
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. This paper presents a theory that encompasses both "plenoptic" (microlens based) and "heterodyning" (mask based) cameras in a single frequency-domain ...
WSOM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We apply a recent formalization of visualization as information retrieval to linear projections. We introduce a method that optimizes a linear projection for an informati...
IFL
2004
Springer
14 years 25 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
IAW
2003
IEEE
14 years 23 days ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
TKDE
2012
11 years 10 months ago
2012
— This paper presents a method for identifying a set of dense subgraphs of a given sparse graph. Within the main applications of this “dense subgraph problem”, the dense subg...