6201 search results - page 233 / 1241 » Implementation of Axiomatic Language |
165
click to vote
TVCG
2010
15 years 3 months ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
153
click to vote
EMNLP
2009
15 years 3 months ago
2009
We have designed, implemented and evaluated an end-to-end system spellchecking and autocorrection system that does not require any manually annotated training data. The World Wide...
213
click to vote
SBMF
2010
Springer
15 years 3 days ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
122
Voted
CGO
2010
IEEE
16 years 7 days ago
2010
IEEE
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...
195
Voted
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...