3082 search results - page 328 / 617 » Deviation Analysis: A New Use of Model Checking |
197
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a new paradigm for automatic medical image analysis that adopts concepts from the field of Artificial Life. Our approach prescribes deformable organisms, autonomous ag...
166
click to vote
AMC
2006
15 years 6 months ago
2006
Missing values in inputs, outputs cannot be handled by the original data envelopment analysis (DEA) models. In this paper we introduce an approach based on interval DEA that allow...
157
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents a new way of thinking for IR metric optimization. It is argued that the optimal ranking problem should be factorized into two distinct yet interrelated stages:...
218
click to vote
ESAS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
211
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures has attracted growing attention. In this paper, a new method for ...