12981 search results - page 2445 / 2597 » Model Checking and Abstraction |
123
Voted
JIRS
2011
14 years 4 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...
121
Voted
SIAMSC
2011
14 years 4 months ago
2011
Abstract. An efficient parallel algorithm is presented and tested for computing selected components of H−1 where H has the structure of a Hamiltonian matrix of two-dimensional la...
147
click to vote
ACII
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Using a discovery-with-models approach, we study the relationships between novice Java programmers’ experiences of confusion and their achievement, as measured through ...
130
click to vote
COMPSAC
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...
128
click to vote
CP
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. In this paper we present a model for the carpet cutting problem in which carpet shapes are cut from a rectangular carpet roll with a fixed width and sufficiently long le...