9455 search results - page 202 / 1891 » The Modelling Language Zinc |
FDL
2003
IEEE
15 years 7 months ago
2003
IEEE
127
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
217
click to vote
SBIA
2010
Springer
15 years 9 days ago
2010
Springer
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...
112
click to vote
EMNLP
2009
14 years 11 months ago
2009
Topic models are a useful tool for analyzing large text collections, but have previously been applied in only monolingual, or at most bilingual, contexts. Meanwhile, massive colle...