2944 search results - page 122 / 589 » On Well Quasi-orders on Languages |
106
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
90
Voted
ECIR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper we address the problem of searching for knowledgeable persons within the enterprise, known as the expert finding (or expert search) task. We present a proba...
94
Voted
IJIT
2004
15 years 2 months ago
2004
In the paper a method of modeling text for Polish is discussed. The method is aimed at transforming continuous input text into a text consisting of sentences in so called canonical...
111
Voted
LISA
2004
15 years 2 months ago
2004
One ideal of configuration management is to specify only desired behavior in a high-level language, while an automatic configuration management system assures that behavior on an ...
116
click to vote
APIN
2000
15 years 16 days ago
2000
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...