19700 search results - page 126 / 3940 » DNA-Based Computation Times |
147
click to vote
DLT
2009
14 years 10 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
117
Voted
EUROGP
2009
Springer
14 years 10 months ago
2009
Springer
We have created a real-time evolutionary object recognition system. Genetic Programming is used to automatically search the space of possible computer vision programs guided throug...
128
Voted
ICPPW
2009
IEEE
14 years 10 months ago
2009
IEEE
Vehicular Delay-Tolerant Networks (VDTNs) are an application of the Delay-Tolerant Network (DTN) concept, where the movement of vehicles and their message relaying service is used ...
149
Voted
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
Fast and reliable algorithms for estimating the head pose are essential for many applications and higher-level face analysis tasks. We address the problem of head pose estimation ...
147
Voted
TASLP
2011
14 years 7 months ago
2011
Abstract—The shifted delta cepstrum (SDC) is a widely used feature extraction for language recognition (LRE). With a high context width due to incorporation of multiple frames, S...