Sciweavers

6343 search results - page 266 / 1269
» Development of a Cartographic Language
Sort
View
CICLING
2007
Springer
16 years 21 days ago
Finite-State Technology as a Programming Environment
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
Shuly Wintner
KBSE
2005
IEEE
16 years 3 days ago
Generation of visual editors as eclipse plug-ins
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
Karsten Ehrig, Claudia Ermel, Stefan Hänsgen,...
JOLLI
2006
78views more  JOLLI 2006»
15 years 6 months ago
A 'Natural Logic' inference system using the Lambek calculus
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
Anna Zamansky, Nissim Francez, Yoad Winter
LPAR
2012
Springer
14 years 2 months ago
The TPTP Typed First-Order Form with Arithmetic
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Pe...
SIGADA
1999
Springer
15 years 10 months ago
Integrating a software engineering approach into an Ada closed laboratory
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
Ming Wang