3082 search results - page 402 / 617 » Deviation Analysis: A New Use of Model Checking |
219
click to vote
ICDIM
2006
IEEE
16 years 15 days ago
2006
IEEE
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
162
click to vote
SIGMETRICS
1998
ACM
15 years 10 months ago
1998
ACM
In many real applications, for example those with frequent and irregular communication patterns or those using large messages, network contention and contention for message proces...
185
click to vote
NIPS
2004
15 years 7 months ago
2004
Visual action recognition is an important problem in computer vision. In this paper, we propose a new method to probabilistically model and recognize actions of articulated object...
198
click to vote
JMLR
2008
15 years 6 months ago
2008
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
165
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we propose a new and accurate 3D reconstruction technique for the scoliotic spine from a pair planar and conventional radiographic images (postero-anterior and late...