114 search results - page 1 / 23 » Automatic Detection of Uninitialized Variables |
CC
2003
Springer
13 years 9 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
ITICSE
2006
ACM
13 years 10 months ago
2006
ACM
Learning elementary programming can be enhanced by introducing the notion of variable roles to students. This paper presents a web-based automatic role detection service that can ...
ICIP
2005
IEEE
14 years 6 months ago
2005
IEEE
A novel active contour model named Variable Background Active Contour model is proposed and applied for the detection of thyroid nodules in ultrasound images. The new model offers ...
CP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
ETFA
2006
IEEE
13 years 8 months ago
2006
IEEE
- This paper presents two laser scanner based approaches to locate and pick-up pallets with the aim of automating forklift trucks. In contrast to camera based systems our approache...