6155 search results - page 376 / 1231 » A language for multiple models of computation |
232
click to vote
ACL
2011
14 years 10 months ago
2011
We propose a principled and efficient phraseto-phrase alignment model, useful in machine translation as well as other related natural language processing problems. In a hidden se...
154
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Occlusion is a difficult problem for appearance-based target tracking, especially when we need to track multiple targets simultaneously and maintain the target identities during t...
151
click to vote
ICCHP
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we describe Bliss2003, an Information and Communication Technology (ICT) aid for verbal impaired people supporting the use of Augmentative and Alternative Communicati...
179
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
173
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...