6014 search results - page 470 / 1203 » Structural Testing with Use Cases |
167
click to vote
PAMI
2008
15 years 6 months ago
2008
In this work, we propose the use of a modified version of the correlation coefficient as a performance criterion for the image alignment problem. The proposed modification has the ...
149
click to vote
AMC
2005
15 years 6 months ago
2005
ARIMA is a popular method to analyze stationary univariate time series data. There are usually three main stages to build an ARIMA model, including model identification, model est...
167
click to vote
PRESENCE
2000
15 years 6 months ago
2000
A between-group experiment was carried out to assess whether two different presence questionnaires can distinguish between real and virtual experiences. One group of 10 subjects s...
157
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Localization in multi-robot systems is a key problem in multi agent systems. In many cases, specially involving legged robots, like the Robocup soccer competition, it r...
156
click to vote
FORMATS
2007
Springer
16 years 18 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...