2722 search results - page 479 / 545 » Automating Language Evolution |
104
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
125
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
119
click to vote
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
155
click to vote
BPM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Introducing process orientation to overcome the functionaloriented organizational structure was the main concern within enterprises during the last decade to improve proc...
123
click to vote
CIKM
2007
Springer
15 years 9 months ago
2007
Springer
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...