3564 search results - page 495 / 713 » Evaluating a Formal Modelling Language |
82
Voted
LISP
2006
14 years 11 months ago
2006
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...
99
Voted
RULEML
2010
Springer
14 years 9 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
118
click to vote
ICTAI
2010
IEEE
14 years 8 months ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...
99
Voted
EMNLP
2010
14 years 9 months ago
2010
Representing documents by vectors that are independent of language enhances machine translation and multilingual text categorization. We use discriminative training to create a pr...
163
Voted
CVPR
2011
IEEE
14 years 2 months ago
2011
IEEE
Handshape is a key linguistic component of signs, and thus, handshape recognition is essential to algorithms for sign language recognition and retrieval. In this work, linguistic ...