Sciweavers

3443 search results - page 456 / 689
» More Algebras for Determiners
Sort
View
IWVF
2001
Springer
15 years 11 months ago
Judging Whether Multiple Silhouettes Can Come from the Same Object
We consider the problem of recognizing an object from its silhouette. We focus on the case in which the camera translates, and rotates about a known axis parallel to the image, suc...
David W. Jacobs, Peter N. Belhumeur, Ian Jermyn
KI
2001
Springer
15 years 11 months ago
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search
Having to cope with memory limitations is an ubiquitous issue in heuristic search. We present theoretical and practical results on new variants for exploring state-space with respe...
Stefan Edelkamp, Ulrich Meyer
LPNMR
2001
Springer
15 years 11 months ago
Multi-dimensional Dynamic Knowledge Representation
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
João Alexandre Leite, José Jú...
MICCAI
2001
Springer
15 years 11 months ago
Repeatability and Accuracy of Ankle Centre Location Estimates Using a Biaxial Joint Model
In conventional total knee replacement (TKR) surgery, a significant fraction of implants have varus/valgus alignment errors large enough to reduce the lifespan of the implant, so w...
Cameron A. Shute, Antony J. Hodgson
CSMR
2000
IEEE
15 years 11 months ago
A Proposal for Supporting Software Evolution in Componentware
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
Andreas Rausch