3031 search results - page 516 / 607 » Model Driven Testing Based on Test History |
108
click to vote
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
94
Voted
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we present a multi-level recognizer for online Arabic handwriting. In Arabic script (handwritten and printed), cursive writing – is not a style – it is an inher...
111
click to vote
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— Simultaneous Localization and Mapping (SLAM) based on visual information is a challenging problem. One of the main problems with visual SLAM is to find good quality landmarks,...
105
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Autonomous estimation of the altitude of an Unmanned Aerial Vehicle (UAV) is extremely important when dealing with flight maneuvers like landing, steady flight, etc. ...
123
click to vote
ACCV
2009
Springer
15 years 7 months ago
2009
Springer
We present a novel algorithm for unsupervised segmentation of natural images that harnesses the principle of minimum description length (MDL). Our method is based on observations ...