574 search results - page 67 / 115 » On the Validity of Hierarchical Decompositions |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
ICPR
2010
IEEE
13 years 9 months ago
2010
IEEE
We extend a recent Sparse Representation-based Classification (SRC) algorithm for face recognition to work on 2D images directly, aiming to reduce the computational complexity whil...
ECIR
2006
Springer
13 years 9 months ago
2006
Springer
This paper presents two sentence retrieval methods. We adopt the task definition done in the TREC Novelty Track: sentence retrieval consists in the extraction of the relevant sente...
CSDA
2007
13 years 7 months ago
2007
Redundancy analysis (RA) is a versatile technique used to predict multivariate criterion variables from multivariate predictor variables. The reduced-rank feature of RA captures r...
RE
2006
Springer
13 years 7 months ago
2006
Springer
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...