3925 search results - page 351 / 785 » Measuring software evolution |
144
click to vote
IJRR
2006
15 years 4 months ago
2006
In this paper we study the time evolution of the position estimates' covariance in Cooperative Simultaneous Localization and Mapping (C-SLAM), and obtain analytical upper boun...
175
Voted
MSCS
2006
15 years 4 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
119
click to vote
QUESTA
2006
15 years 4 months ago
2006
In this paper we demonstrate how tree-like processes can be used to analyze a general class of priority queues with three service classes, creating a new methodology to study prio...
142
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
This paper treats a new approach to the problem of periodic signal estimation. The idea is to model the periodic signal as a function of the state of a second-order nonlinear ordi...
118
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
Mentoring refers to the phenomenon where a more skilled or knowledgeable person helps a less skilled or less knowledgeable person gain skill in a particular domain. In this paper w...