Sciweavers

338 search results - page 4 / 68
» A Language for Task Orchestration and Its Semantic Propertie...
Sort
View
ELP
1991
15 years 1 months ago
Natural Semantics and Some of Its Meta-Theory in Elf
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
Spiro Michaylov, Frank Pfenning
ECIS
2000
14 years 11 months ago
Semantic Event Model and its Implication on Situation Detection
- Events are at the core of reactive applications, which have become popular in many domains. Contemporary modeling tools lack the capability express the event semantics and relati...
Asaf Adi, David Botzer, Opher Etzion
LREC
2008
110views Education» more  LREC 2008»
14 years 11 months ago
Creation of Learner Corpus and Its Application to Speech Recognition
Some big languages like English are spoken by a lot of people whose mother tongues are different from. Their second languages often have not only distinct accent but also differen...
Hiroki Yamazaki, Keisuke Kitamura, Takashi Harada,...
PPDP
2007
Springer
15 years 4 months ago
Real-time rewriting semantics of orc
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
Musab AlTurki, José Meseguer
IGPL
2008
67views more  IGPL 2008»
14 years 10 months ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
Thomas Ågotnes, Michal Walicki