Sciweavers

713 search results - page 29 / 143
» Syntax and Semantics of Babel-17
Sort
View
FPGA
2006
ACM
117views FPGA» more  FPGA 2006»
14 years 4 days ago
Context-free-grammar based token tagger in reconfigurable devices
In this paper, we present reconfigurable hardware architecture for detecting semantics of streaming data on 1+ Gbps networks. The design leverages on the characteristics of contex...
Young H. Cho, James Moscola, John W. Lockwood
ICIP
2005
IEEE
14 years 2 months ago
Classification and representation of semantic content in broadcast tennis videos
This paper investigates the semantic analysis of broadcast tennis footage. We consider the spatio-temporal behaviour of an object in the footage as being the embodiment of a seman...
Niall Rea, Rozenn Dahyot, Anil C. Kokaram
LICS
1997
IEEE
14 years 20 days ago
Towards a Mathematical Operational Semantics
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
Daniele Turi, Gordon D. Plotkin
ASP
2003
Springer
14 years 1 months ago
What's in a model? Epistemological analysis of Logic Programming
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
Marc Denecker
CORR
2011
Springer
151views Education» more  CORR 2011»
13 years 3 months ago
Temporal Probabilistic Logic Programs: State and Revision
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
Zoran Majkic