5904 search results - page 297 / 1181 » Requirements for a Composition Language |
159
click to vote
CONSTRAINTS
2008
15 years 4 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
154
click to vote
ACL
2009
15 years 2 months ago
2009
Kneser-Ney (1995) smoothing and its variants are generally recognized as having the best perplexity of any known method for estimating N-gram language models. Kneser-Ney smoothing...
166
click to vote
AGI
2011
14 years 8 months ago
2011
Human intelligence consists largely of the ability to recognize and exploit structural systematicity in the world, relating our senses simultaneously to each other and to our cogni...
169
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
Reliable segmentation and motion tracking algorithms are required to achieve gesture detection and tracking for human-machine interaction. In this paper we present an efficient me...
160
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...