692 search results - page 46 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
JUCS
2000
14 years 11 months ago
2000
Abstract: A study of the classes of nite relations as enriched strict monoidal categories is presented in CaS91]. The relations there are interpreted as connections in owchart sche...
UIST
2006
ACM
15 years 5 months ago
2006
ACM
NP-hard combinatorial optimization problems are common in real life. Due to their intractability, local search algorithms are often used to solve such problems. Since these algori...
SOFSEM
2010
Springer
14 years 9 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
KES
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. This paper proposes an approach to estimating the temperature field of the pistons of Diesel Engines 4112 using the combination of experimental measurement and finite ele...
ECCV
2008
Springer
16 years 1 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 ...