1215 search results - page 167 / 243 » Testing in the Distributed Test Architecture: An Extended Ab... |
ASP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
ICCBR
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. In this paper, we investigate two novel indexing schemes called DHS and D-HS+PSR(II) designed for use in case-based reasoning systems. D-HS is based on a matrix of cases ...
FMCAD
2004
Springer
14 years 16 days ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
AMFG
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract. Face recognition under varying pose is a challenging problem, especially when illumination variations are also present. Under Lambertian model, spherical harmonics repres...
RSS
2007
13 years 10 months ago
2007
Abstract—In this paper, we present the analysis and experimental validation of a vision-aided inertial navigation algorithm for planetary landing applications. The system employs...