12745 search results - page 2270 / 2549 » Automating test automation |
128
click to vote
FUIN
2010
15 years 3 months ago
2010
From an empirical point of view, the hardness of quantified Boolean formulas (QBFs), can be characterized by the (in)ability of current state-of-the-art QBF solvers to decide abo...
150
click to vote
HCSE
2010
15 years 3 months ago
2010
Abstract. Interactive spaces with multiple networked devices and interactive surfaces are an effective means to support multi-user collocated collaboration. In these spaces, surfa...
123
Voted
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
145
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— In this paper, we examine the problem of extrinsic calibration of multiple LIDARs on a mobile vehicle platform. To achieve fully automated and on-line calibration, the original...
124
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
—In poorly constrained extra-vascular environments such as hollow viscera, current catheter navigation techniques are restricted to simple paths and therefore limit a doctor’s ...