9166 search results - page 170 / 1834 » A framework for comparing models of computation |
130
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
We present a computational framework capable of labeling the effort of an action corresponding to the perceived level of exertion by the performer (low ? high). The approach initi...
135
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
The use of asymmetric multi-core processors with onchip computational accelerators is becoming common in a variety of environments ranging from scientific computing to enterprise...
134
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
117
click to vote
NAACL
2010
15 years 1 months ago
2010
Phonetic string transduction problems, such as letter-to-phoneme conversion and name transliteration, have recently received much attention in the NLP community. In the past few y...
154
click to vote
SMA
2008
ACM
15 years 3 months ago
2008
ACM
Differential quantities, including normals, curvatures, principal directions, and associated matrices, play a fundamental role in geometric processing and physics-based modeling. ...