Sciweavers

6343 search results - page 120 / 1269
» Development of a Cartographic Language
Sort
View
USENIX
2000
15 years 6 months ago
FiST: A Language for Stackable File Systems
Traditional file system development is difficult. Stackable file systems promise to ease the development of file systems by offering a mechanism for incremental development. Unfor...
Erez Zadok, Jason Nieh
LREC
2008
103views Education» more  LREC 2008»
15 years 6 months ago
A Knowledge-Modeling Approach for Multilingual Regulus Lexica
Development of lexical resources is, along with grammar development, one of the main efforts when building multilingual NLP applications. In this paper, we present a tool-based ap...
Marianne Santaholma, Nikos Chatzichrisafis
ACMSE
2006
ACM
15 years 8 months ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey
PLDI
2009
ACM
16 years 5 months ago
An integrated proof language for imperative programs
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
Karen Zee, Viktor Kuncak, Martin C. Rinard
JCIT
2007
192views more  JCIT 2007»
15 years 4 months ago
Action Representation for Natural Language Interfaces to Agent Systems
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
Christel Kemke