Sciweavers

Share
119 search results - page 1 / 24
» Automatic Detection of Uninitialized Variables
Sort
View
CC
2003
Springer
250views System Software» more  CC 2003»
9 years 1 months ago
Automatic Detection of Uninitialized Variables
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
Thi Viet Nga Nguyen, François Irigoin, Cori...
ITICSE
2006
ACM
9 years 2 months ago
A web-based service for the automatic detection of roles of variables
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 ...
Petri Gerdt, Jorma Sajaniemi
ICIP
2005
IEEE
9 years 10 months ago
A variable background active contour model for automatic detection of thyroid nodules in ultrasound images
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 ...
Michalis A. Savelonas, Dimitrios E. Maroulis, Dimi...
CP
2005
Springer
9 years 1 months ago
Automatic Detection of Variable and Value Symmetries
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...
Jean-Francois Puget
ETFA
2006
IEEE
9 years 2 days ago
Variable Pallet Pick-Up for Automatic Guided Vehicles in Industrial Environments
- 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...
Daniel Lecking, Oliver Wulf, Bernardo Wagner
books