9888 search results - page 256 / 1978 » compute 2009 |
153
click to vote
WEA
2009
Springer
16 years 2 months ago
2009
Springer
The elevation function on a smoothly embedded 2-manifold in R3 reflects the multiscale topography of cavities and protrusions as local maxima. The function has been useful in iden...
281
click to vote
ICALT
2009
IEEE
16 years 2 months ago
2009
IEEE
A crucial challenge for improving EMLs is to provide an intuitive notation to support educational practitioners to not only understand, but also describe a large number of flexibl...
187
click to vote
ICDAR
2009
IEEE
16 years 2 months ago
2009
IEEE
The forensic investigation of a questioned signature written on a piece of paper is a challenging task. Electronic pen-tablets for recording writing movements are considered valua...
231
click to vote
COST
2009
Springer
16 years 1 months ago
2009
Springer
This paper reviews interactive methods for improving the phonetic competence of subjects in the case of second language learning as well as in the case of speech therapy for subjec...
200
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...