2302 search results - page 33 / 461 » Testing as Abstraction |
138
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— In this paper, the robustness of graspless manipulation (or nonprehensile manipulation) is investigated. We derive some new constraints for static frictional forces in ...
142
click to vote
FATES
2005
Springer
15 years 11 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
132
click to vote
DLOG
2008
15 years 7 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
104
click to vote
ECIR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In the last years several top-quality papers utilized temporary Desktop data and/or browsing activity logs for experimental evaluation. Building a common testbed for the ...
155
click to vote
SFP
2003
15 years 6 months ago
2003
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...