4930 search results - page 630 / 986 » Testing a Safety-Critical Application |
144
click to vote
PVLDB
2010
15 years 5 months ago
2010
Large-scale event systems are becoming increasingly popular in a variety of domains. Event pattern evaluation plays a key role in monitoring applications in these domains. Existin...
232
Voted
TMI
2010
15 years 5 months ago
2010
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...
191
Voted
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
We address the problem of computing joint sparse representation of visual signal across multiple kernel-based representations. Such a problem arises naturally in supervised visual...
184
Voted
DLOG
2010
15 years 4 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
197
Voted
FOCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. We present a Fourier-analytic approach to list-decoding Reed-Muller codes over arbitrary finite fields. We use this to show that quadratic forms over any field are locall...