2596 search results - page 197 / 520 » Gradual Typing for Objects |
144
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
138
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
A commonly considered image manipulation is to conceal undesirable objects or people in the scene with a region of pixels copied from the same image. Forensic mechanisms aimed at ...
108
click to vote
VIS
2003
IEEE
16 years 5 months ago
2003
IEEE
We present a method to represent unstructured scalar fields at multiple levels of detail. Using a parallelizable classification algorithm to build a cluster hierarchy, we generate...
121
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
In problem solving a goal/subgoal is either solved by generating needed information from current information, or further decomposed into additional subgoals. In traditional problem...
133
click to vote
OTM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ...