8828 search results - page 1269 / 1766 » Formal methods in practice |
194
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
This study addresses a long-standing and wellrecognized problem in KM research, namely the lack of a cumulative tradition. This problem is addressed by an intensive and critical r...
164
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
The bursting of the e-bubble affected expectations with regard to mobile initiatives and willingness to invest in them very negatively. In both academia and practice, there has re...
181
click to vote
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In the present paper, a method for detecting changes between two images of the same scene taken at different times using their joint intensity histogram is proposed. First, the jo...
164
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— The authors present an innovative method for the efficient joint estimation of attitude and position in six degrees of freedom via sensors such as GPS, inertial measurement un...
210
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we revisit the tile-shape selection problem, that has been extensively discussed in bibliography. An efficient approach is proposed for the selection of a suitable t...