422 search results - page 46 / 85 » On Modal Refinement and Consistency |
133
click to vote
FECS
2008
15 years 5 months ago
2008
- Net4Voice project consists in testing voice recognition techniques and methods within learning contexts. The need to support learning process with non traditional technologies de...
137
click to vote
TRECVID
2008
15 years 5 months ago
2008
In this paper, we describe the Toshiba event detection system for TRECVID surveillance event detection task [1]. Our system consists of four components: (1) a flexible and robust ...
134
click to vote
NAACL
2004
15 years 5 months ago
2004
In statistical machine translation, the currently best performing systems are based in some way on phrases or word groups. We describe the baseline phrase-based translation system...
122
click to vote
FORTE
1990
15 years 5 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
137
click to vote
CG
2008
Springer
15 years 4 months ago
2008
Springer
Many graphics applications represent deformable surfaces through dynamic meshes. To be consistent during deformations, the dynamic meshes require an adaptation process. In this pa...