1535 search results - page 264 / 307 » Lazy Shape Analysis |
ILC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
SCIA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In medical imaging, signals acquired in non-Cartesian coordinate systems are common. For instance, CT and MRI often produce significantly higher resolution within scan p...
SCIA
2007
Springer
14 years 2 months ago
2007
Springer
Non-photorealistic rendering (NPR) techniques aim to outline the shape of objects and reduce visual clutter such as shadows and inner texture edges. As the first phase result of ou...
AHS
2006
IEEE
14 years 2 months ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...
FGR
2006
IEEE
14 years 2 months ago
2006
IEEE
Traditionally, human facial expressions have been studied using either 2D static images or 2D video sequences. The 2D-based analysis is incapable of handing large pose variations....