7139 search results - page 170 / 1428 » Language Engineering in Practice |
138
click to vote
CLEF
2000
Springer
15 years 10 months ago
2000
Springer
We employ Automorphology, an MDL-based algorithm that determines the suffixes present in a language-sample with no prior knowledge of the language in question, and describe our exp...
159
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...
209
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
168
click to vote
APLAS
2006
ACM
16 years 12 days ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
167
click to vote
SC
2005
ACM
15 years 12 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...