1096 search results - page 113 / 220 » Computation Slicing: Techniques and Theory |
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
SCALESPACE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...
VMCAI
2007
Springer
14 years 3 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
ICTAI
2006
IEEE
14 years 3 months ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
ASAP
2005
IEEE
14 years 2 months ago
2005
IEEE
The COMPAAN/LAURA [18] tool chain maps nested loop applications written in Matlab onto reconfigurable platforms, such as FPGAs. COMPAAN rewrites the original Matlab application a...