6155 search results - page 203 / 1231 » A language for multiple models of computation |
223
click to vote
ACL2
2006
ACM
16 years 16 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
234
click to vote
TASLP
2011
15 years 1 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...
171
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
One of the hard problems in automated sign language recognition is the movement epenthesis (me) problem. Movement epenthesis is the gesture movement that bridges two consecutive s...
201
click to vote
ECAL
2007
Springer
16 years 22 days ago
2007
Springer
Language can be viewed as a complex adaptive system which is continuously shaped and reshaped by the actions of its users as they try to solve communicative problems. To maintain c...
180
click to vote
CIVR
2005
Springer
16 years 2 days ago
2005
Springer
It is now accepted that the most e ective video shot retrieval is based on indexing and retrieving clips using multiple, parallel modalities such as text-matching, image-matching a...