2722 search results - page 121 / 545 » Automating Language Evolution |
120
Voted
MSR
2006
ACM
15 years 8 months ago
2006
ACM
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...
106
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
148
Voted
PVLDB
2008
15 years 2 months ago
2008
The old problem of managing the history of database information is now made more urgent and complex by fast spreading web information systems, such as Wikipedia. Our PRIMA system ...
107
click to vote
IJCAI
2003
15 years 4 months ago
2003
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
168
click to vote
IWPSE
2003
IEEE
15 years 7 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...