391 search results - page 20 / 79 » Automatic programming with semantic streams |
99
Voted
WWW
2006
ACM
15 years 11 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
FM
2006
Springer
15 years 2 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
Bursty features in text streams are very useful in many text mining applications. Most existing studies detect bursty features based purely on term frequency changes without takin...
ADAEUROPE
2008
Springer
15 years 5 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
LREC
2010
15 years 7 days ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...