3031 search results - page 516 / 607 » Model Driven Testing Based on Test History |
162
click to vote
VMCAI
2009
Springer
16 years 5 days 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...
145
click to vote
ICDAR
2009
IEEE
16 years 4 days 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...
162
Voted
IROS
2009
IEEE
16 years 1 days 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,...
153
click to vote
IROS
2009
IEEE
16 years 1 days 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. ...
173
click to vote
ACCV
2009
Springer
16 years 10 hour 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 ...