4211 search results - page 700 / 843 » Types as Abstract Interpretations |
157
click to vote
WABI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Traditional sequence comparison by alignment applies a mutation model comprising two events, substitutions and indels (insertions or deletions) of single positions (SI). ...
124
click to vote
WDAG
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? W...
116
click to vote
WEA
2005
Springer
15 years 10 months ago
2005
Springer
Vectors [Extended Abstract] Pekka Orponen and Satu Elisa Schaeffer Laboratory for Theoretical Computer Science, P.O. Box 5400 FI-02015 TKK Helsinki University of Technology, Finlan...
139
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The student modeling (SM) is a core component in the development of Intelligent Learning Environments (ILEs). In this paper we describe how a Multi-agent Intelligent Lear...
170
click to vote
AMTA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Existing automated MT evaluation methods often require expert human translations. These are produced for every language pair evaluated and, due to this expense, subsequen...