Sciweavers

917 search results - page 89 / 184
» On the Semantics of Updates in a Functional Language
Sort
View
ICASSP
2010
IEEE
14 years 7 months ago
On the use of machine translation for spoken language understanding portability
Across language portability of a spoken language understanding system (SLU) deals with the possibility of reusing with moderate effort in a new language knowledge and data acquire...
Christophe Servan, Nathalie Camelin, Christian Ray...
ICFP
2007
ACM
15 years 9 months ago
Type-safe higher-order channels in ML-like languages
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
Sungwoo Park
ECOOP
2006
Springer
15 years 1 months ago
Session Types for Object-Oriented Languages
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous,...
APCCM
2008
14 years 11 months ago
Survey of Existing Languages to Model Interactive Web Applications
Over the last few years, the web is establishing increased importance in society with the rise of social networking sites and the semantic web, facilitated and driven by the popul...
Jevon M. Wright, Jens Dietrich
KI
2006
Springer
14 years 9 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach