20066 search results - page 345 / 4014 » T Spaces |
217
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
186
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
A unified variational methodology is developed for classification and clustering problems, and tested in the classification of tumors from gene expression data. It is based on flu...
182
click to vote
PRL
2010
15 years 1 months ago
2010
It is desirable to find unusual data objects by Ramaswamy et al's distance-based outlier definition because only a metric distance function between two objects is required. It...
205
click to vote
VR
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a prototype mobile augmented reality client addition to the "Image Space" mixed reality media sharing service. We have explored how the real world aligned &qu...
132
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The Probability Hypothesis Density (PHD) is a well-known method for single-sensor multi-target tracking problems in a Bayesian framework, but the extension to the multi-sensor cas...