Sciweavers

4555 search results - page 401 / 911
» Deductive Algorithmic Knowledge
Sort
View
ALGORITHMICA
2008
52views more  ALGORITHMICA 2008»
15 years 4 months ago
From Constrained to Unconstrained Maximum Agreement Subtree in Linear Time
We propose and study the Maximum Constrained Agreement Subtree (MCAST) problem, which is a variant of the classical Maximum Agreement Subtree (MAST) problem. Our problem allows us...
V. Berry, Z. S. Peng, H. F. Ting
CGF
2008
148views more  CGF 2008»
15 years 4 months ago
Automatic Registration for Articulated Shapes
We present an unsupervised algorithm for aligning a pair of shapes in the presence of significant articulated motion and missing data, while assuming no knowledge of a template, u...
Will Chang, Matthias Zwicker
IPL
2008
131views more  IPL 2008»
15 years 4 months ago
Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
J. Francisco Chicano, Enrique Alba
IVC
2006
183views more  IVC 2006»
15 years 4 months ago
Augmented tracking with incomplete observation and probabilistic reasoning
An on-line algorithm for multi-object tracking is presented for monitoring a real-world scene from a single fixed camera. Potential objects are detected with adaptive backgrounds ...
Ming Xu, Tim Ellis
JSAC
2006
121views more  JSAC 2006»
15 years 4 months ago
Secure localization and authentication in ultra-wideband sensor networks
The recent Federal Communications Commission regulations for ultra-wideband (UWB) transmission systems have sparked a surge of research interests in the UWB technology. One of the ...
Yanchao Zhang, Wei Liu, Yuguang Fang, Dapeng Wu