Sciweavers

7288 search results - page 247 / 1458
» On process rate semantics
Sort
View
CIVR
2004
Springer
157views Image Analysis» more  CIVR 2004»
15 years 12 months ago
ICBR - Multimedia Management System for Intelligent Content Based Retrieval
This paper presents a system designed for the management of multimedia databases that embarks upon the problem of efficient media processing and representation for automatic semant...
Janko Calic, Neill W. Campbell, Majid Mirmehdi, Ba...
CONCUR
2003
Springer
15 years 11 months ago
Full Abstraction for HOPLA
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
Mikkel Nygaard, Glynn Winskel
ICFP
1996
ACM
15 years 10 months ago
A Theory of Weak Bisimulation for Core CML
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
William Ferreira, Matthew Hennessy, Alan Jeffrey
FINTAL
2006
15 years 10 months ago
A Computational Implementation of Internally Headed Relative Clause Constructions
The so-called Internally Headed Relative Clause (IHRC) construction found in the head-final languages Korean and Japanese has received little attention from computational perspecti...
Jong-Bok Kim, Peter Sells, Jaehyung Yang
WSPI
2008
15 years 8 months ago
Symbol Grounding in Computational Systems: A Paradox of Intentions
The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computa...
Vincent C. Müller