Sciweavers

224 search results - page 32 / 45
» Grammatical Aspects for Language Descriptions
Sort
View
95
Voted
AI
1999
Springer
15 years 6 days ago
Understanding Mechanical Motion: From Images to Behaviors
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...
Tzachi Dar, Leo Joskowicz, Ehud Rivlin
FPCA
1995
15 years 4 months ago
Pi-Calculus, Dialogue Games and PCF
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
J. M. E. Hyland, C.-H. Luke Ong
92
Voted
GPCE
2007
Springer
15 years 6 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba
101
Voted
IS
2010
14 years 11 months ago
Content value chains modelling using a copyright ontology
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
Roberto García, Rosa Gil
99
Voted
CICLING
2005
Springer
15 years 6 months ago
The UNL Initiative: An Overview
We are presenting a description of the UNL initiative based on the Universal Networking Language (UNL). This language was conceived to be the support of the multilingual communicat...
Igor Boguslavsky, Jesús Cardeñosa, C...