2586 search results - page 363 / 518 » Automatic Abstraction for Congruences |
166
click to vote
HPCC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
172
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Expression templates (ET) can significantly reduce the implementation effort of mathematical software. For some compilers, especially for those of supercomputers, it ca...
164
click to vote
ICFCA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
150
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...
165
click to vote
IJCNLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper proposes a method for detecting errors concerning article usage and singular/plural usage based on the mass count distinction. Although the mass count distinct...