1356 search results - page 94 / 272 » A variable-free dynamic semantics |
JFP
2006
14 years 10 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...
SEMCO
2007
IEEE
15 years 4 months ago
2007
IEEE
The evolution of the Web 2.0 phenomenon has led to the increased adoption of the RESTful services paradigm. RESTful services often take the form of RSS/Atom feeds and AJAX based l...
SAMT
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes our experience developing a semantically-rich exploratory interface that integrates a suite of Newsfilm media sources and associated information. Indeed, the a...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a spoken document summarization scheme using acoustic, prosodic and semantic information. First, speech recognition confidence is estimated to choose reliable ...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...