2012 search results - page 373 / 403 » Lane-Change Detection Using a Computational Driver Model |
ICMCS
1999
IEEE
14 years 4 hour ago
1999
IEEE
In this paper, a technique is presented for CT image analysis and visualization of the bronchial airways. The technique provides a non-invasive way to examine the interior of the ...
ISER
1997
Springer
13 years 12 months ago
1997
Springer
The kinematics and force/displacement relationships of elements of biological joints are notoriously difficult to understand. In particular, the human knee has bearing surfaces o...
ESTIMEDIA
2006
Springer
13 years 11 months ago
2006
Springer
Parallelization of embedded software is often desirable for power/performance-related considerations for computation-intensive applications that frequently occur in the signal-pro...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
NAR
2008
13 years 7 months ago
2008
Multiple sequence alignments are essential in computational sequence and structural analysis, with applications in homology detection, structure modeling, function prediction and ...