9455 search results - page 202 / 1891 » The Modelling Language Zinc |
143
Voted
FDL
2003
IEEE
15 years 12 months ago
2003
IEEE
189
click to vote
POPL
2012
ACM
14 years 2 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....
306
Voted
SBIA
2010
Springer
15 years 5 months 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...
177
Voted
EMNLP
2009
15 years 4 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...