Sciweavers

2173 search results - page 197 / 435
» An operational semantics for skeletons
Sort
View
SIGCSE
2009
ACM
137views Education» more  SIGCSE 2009»
14 years 11 months ago
The hidden injuries of overloading 'ADT'
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
Duane Buck, David J. Stucki
ICMCS
2005
IEEE
177views Multimedia» more  ICMCS 2005»
14 years 4 months ago
Comparison of Visual Features and Fusion Techniques in Automatic Detection of Concepts from News Video
This study describes experiments on automatic detection of semantic concepts, which are textual descriptions about the digital video content. The concepts can be further used in c...
Mika Rautiainen, Tapio Seppänen
DASFAA
2004
IEEE
142views Database» more  DASFAA 2004»
14 years 2 months ago
Ontological and Pragmatic Knowledge Management for Web Service Composition
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow intelligent agents to automatically identify these Web...
Soon Ae Chun, Yugyung Lee, James Geller
DLS
2008
213views Languages» more  DLS 2008»
14 years 12 days ago
A parsing machine for PEGs
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
Sérgio Medeiros, Roberto Ierusalimschy
AIPS
2009
13 years 11 months ago
Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
Sarah L. Hickmott, Sebastian Sardiña