6059 search results - page 203 / 1212 » A Technique for Verifying Measurements |
140
click to vote
WICSA
2008
15 years 8 months ago
2008
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
189
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
158
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Behavioral Targeting (BT) is a technique used by online advertisers to increase the effectiveness of their campaigns, and is playing an increasingly important role in the online a...
200
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
Web Usage Mining (WUM), a natural application of data mining techniques to the data collected from user interactions with the web, has greatly concerned both academia and industry ...
195
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We introduce a new method for stereo visual SLAM (simultaneous localization and mapping) that works in unstructured, outdoor environments. Unlike other gridbased SLAM algorithm...