5159 search results - page 279 / 1032 » Structural Testing of Executables |
328
click to vote
ECIR
2011
Springer
14 years 10 months ago
2011
Springer
Due to many unique characteristics of forum data, forum post retrieval is different from traditional document retrieval and web search, raising interesting research questions abou...
200
click to vote
JIRS
2011
14 years 10 months ago
2011
Abstract This paper deals with the problem of mobile-robot localization in structured environments. The extended Kalman filter (EKF) is used to localize the fourwheeled mobile robo...
196
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We propose a 2D model-based approach for tracking human body parts during articulated motion. A human is modeled as a stick figure with thirteen landmarks, and an action is a sequ...
217
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
210
click to vote
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...