309 search results - page 28 / 62 » A quantitative approach to functional debugging |
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— We present a novel approach for determining robot movements that efficiently accomplish the robot’s tasks while not hindering the movements of people within the environment....
98
Voted
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
163
Voted
SIGMOD
2009
ACM
16 years 19 days ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
105
Voted
CORR
2010
Springer
15 years 15 days ago
2010
Springer
Abstract--Mountain river torrents and snow avalanches generate human and material damages with dramatic consequences. Knowledge about natural phenomenona is often lacking and exper...
119
Voted
BMCBI
2006
15 years 14 days ago
2006
Background: We present a general approach to perform association analyses in pedigrees of arbitrary size and structure, which also allows for a mixture of pedigree members and ind...