4814 search results - page 30 / 963 » Combining abstract interpreters |
CG
2005
Springer
13 years 9 months ago
2005
Springer
One main challenge in building interpreters for hand-drawn sketches is the task of parsing a sketch to locate the individual symbols. Many existing pen-based systems avoid this pr...
ISER
1999
Springer
14 years 2 months ago
1999
Springer
: In this paper we describe how the combination of several vision sensors can be used to track multiple human targets in a typical surveillance situation. The experimental system d...
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
ICAART
2010
INSTICC
14 years 7 months ago
2010
INSTICC
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...