6174 search results - page 275 / 1235 » The language of social software |
239
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
152
click to vote
AAAI
1992
15 years 7 months ago
1992
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
174
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, an educational software aimed to help learning Information Theory basics in a practical way is reported. The software, called IT-tutor-UV, can produce entropy analy...
157
click to vote
HOPL
2007
15 years 10 months ago
2007
We report on the birth and evolution of Lua and discuss how it moved from a simple configuration language to a versatile, widely used language that supports extensible semantics, ...
185
click to vote
SIGADA
2001
Springer
15 years 11 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...