6343 search results - page 219 / 1269 » Development of a Cartographic Language |
155
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
145
click to vote
EACL
2003
ACL Anthology
15 years 7 months ago
2003
ACL Anthology
The main aim of this project is to explore, develop and evaluate the contribution of language technologies to the development of WEBCOOP, a system that provides intelligent Cooper...
193
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
206
click to vote
JMLR
2012
13 years 8 months ago
2012
We develop a high dimensional nonparametric classification method named sparse additive machine (SAM), which can be viewed as a functional version of support vector machine (SVM)...
153
click to vote
EACL
2009
ACL Anthology
2009
ACL Anthology
The Software Architecture for the First Challenge on Generating Instructions in Virtual Environments
16 years 7 months ago
The GIVE Challenge is a new Internetbased evaluation effort for natural language generation systems. In this paper, we motivate and describe the software infrastructure that we de...