6343 search results - page 493 / 1269 » Development of a Cartographic Language |
195
Voted
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
200
Voted
ASM
2010
ASM
15 years 9 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
163
click to vote
ACL
2006
15 years 8 months ago
2006
This paper presents Archivus, a multimodal language-enabled meeting browsing and retrieval system. The prototype is in an early stage of development, and we are currently explorin...
158
Voted
ACL
2006
15 years 8 months ago
2006
This work provides the essential foundations for modular construction of (typed) unification grammars for natural languages. Much of the information in such grammars is encoded in...
157
Voted
IADIS
2003
15 years 8 months ago
2003
Although there are a lot of web based e-learning solutions on the market, using these tools to design and organize courses still stays a very difficult task for most teachers. Edu...