3664 search results - page 247 / 733 » Language Technology for eLearning |
124
Voted
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
113
click to vote
ITCC
2002
IEEE
15 years 8 months ago
2002
IEEE
The needs for managing similar documents in different languages increases with the growing amounts of electronic information available in documents of the same type (e.g. news str...
151
Voted
WISE
2002
Springer
15 years 8 months ago
2002
Springer
We propose a new approach for the efficient evaluation of XPath expressions. This is important, since XPath is not only used as a simple, stand-alone query language, but is also ...
160
Voted
AOSE
2001
Springer
15 years 8 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
114
Voted
UM
2001
Springer
15 years 8 months ago
2001
Springer
This article discusses how the deployment of personalized systems is affected by users’ privacy concerns and by privacy legislation. It shows that these impacts are substantial a...