Sciweavers

Share
116 search results - page 24 / 24
» Facial Expression Recognition Based on 3D Dynamic Range Mode...
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
8 years 10 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
books