6343 search results - page 447 / 1269 » Development of a Cartographic Language |
167
click to vote
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
189
click to vote
ISMIS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
174
click to vote
PADL
2005
Springer
16 years 8 days ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
168
click to vote
TSD
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents an automatic methodology we used in an experiment to acquire a morphological lexicon for the Slovak language, and the lexicon we obtained. This methodology exte...
150
click to vote
TSD
2005
Springer
16 years 8 days ago
2005
Springer
The paper presents the design concept of the VoiceTRAN Communicator that integrates speech recognition, machine translation and text-to-speech synthesis using the DARPA Galaxy arch...