Sciweavers

3323 search results - page 118 / 665
» Computational Semantics with Functional Programming
Sort
View
126
Voted
SEMCO
2009
IEEE
15 years 9 months ago
LAIR: A Language for Automated Semantics-Aware Text Sanitization Based on Frame Semantics
—We present LAIR: A domain-specific language that enables users to specify actions to be taken upon meeting specific semantic frames in a text, in particular to rephrase and re...
Steffen Hedegaard, Søren Houen, Jakob Grue ...
126
Voted
TCS
2008
15 years 2 months ago
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
Ian Wehrman, David Kitchin, William R. Cook, Jayad...
137
Voted
APAL
2008
104views more  APAL 2008»
15 years 2 months ago
Infinite trace equivalence
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
Paul Blain Levy
122
Voted
CSO
2009
IEEE
15 years 9 months ago
A Special Prosodic Phrasing in Broadcasting News Programs
In order to improve and convey the semantic information perfectly and vividly through synthesized speech, a special prosodic phrasing in broadcasting news programs, namely complex...
Yu Zou, Wei He, Yuqiang Zhang, Min Hou, Weibin Zhu
115
Voted
PERCOM
2004
ACM
16 years 2 months ago
Dynamic Federation of Partitioned Applications in Ubiquitous Computing Environments
A framework for the dynamic aggregation of ubiquitous computers is presented. The framework aggregates applications from more than one mobile component that can migrate from compu...
Ichiro Satoh