2139 search results - page 274 / 428 » Connecting language to the world |
108
click to vote
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
ENTCS
2006
14 years 11 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
EMNLP
2010
14 years 9 months ago
2010
There is considerable interest in interdisciplinary combinations of automatic speech recognition (ASR), machine learning, natural language processing, text classification and info...
103
click to vote
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...