6740 search results - page 762 / 1348 » Using Classification as a Programming Language |
192
click to vote
IASSE
2004
15 years 8 months ago
2004
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
154
click to vote
ENTCS
2008
15 years 7 months ago
2008
Although programs convey an unambiguous meaning, the grammars used in practice to describe their syntax are often ambiguous, and completed with disambiguation rules. Whether these...
172
click to vote
INTERSPEECH
2010
15 years 2 months ago
2010
This paper describes a system for assistive writing, the Speech Supplemented Word Prediction Program (SSWPP). This system uses the first letter of a word typed by the user as well...
267
click to vote
CAV
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
154
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming sys...