2586 search results - page 220 / 518 » Automatic Abstraction for Congruences |
167
click to vote
WIA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We propose a scheme for automatically generating compressors for XML documents from Document Type Definition(DTD) specifications. Our algorithm is a lossless adaptive a...
143
click to vote
ACII
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Global integration and migration force people to learn additional languages. With respect to major languages, the acquisition is already initiated at primary school but a...
166
click to vote
AUSAI
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. Analysis of queries posed to open-domain question-answering systems indicates that particular types of queries are dominant, e.g., queries about the identity of people, a...
146
click to vote
FIDJI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
178
click to vote
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The navigation task is a very demanding application for mobile users. The algorithms of present software solutions are based on the established methods of car navigation ...