Sciweavers

4555 search results - page 313 / 911
» Deductive Algorithmic Knowledge
Sort
View
139
Voted
CVPR
2009
IEEE
15 years 10 months ago
Non-rigid 2D-3D pose estimation and 2D image segmentation
In this work, we present a non-rigid approach to jointly solve the tasks of 2D-3D pose estimation and 2D image segmentation. In general, most frameworks which couple both pose est...
Romeil Sandhu, Samuel Dambreville, Anthony J. Yezz...
LPNMR
2009
Springer
15 years 10 months ago
The Complexity of Circumscriptive Inference in Post's Lattice
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
Michael Thomas
ICPP
2008
IEEE
15 years 10 months ago
On the Reliability of Large-Scale Distributed Systems A Topological View
In large-scale, self-organized and distributed systems, such as peer-to-peer (P2P) overlays and wireless sensor networks (WSN), a small proportion of nodes are likely to be more c...
Yuan He, Hao Ren, Yunhao Liu, Baijian Yang
ACIVS
2008
Springer
15 years 10 months ago
Adaptive Metadata Management System for Distributed Video Content Analysis
Scientific advances in the development of video processing algorithms now allow various distributed and collaborative vision-based applications. However, the lack of recognised st...
C. Carincotte, Xavier Desurmont, A. Bastide
121
Voted
ICSM
2006
IEEE
15 years 9 months ago
Using the Case-Based Ranking Methodology for Test Case Prioritization
The test case execution order affects the time at which the objectives of testing are met. If the objective is fault detection, an inappropriate execution order might reveal most ...
Paolo Tonella, Paolo Avesani, Angelo Susi