Sciweavers

26 search results - page 2 / 6
» Action Semantics and ASF SDF: System Demonstration
Sort
View
PAA
2008
13 years 9 months ago
Human action recognition in videos based on the Transferable Belief Model
Abstract This paper focuses on human behavior recognition where the main problem is to bridge the semantic gap between the analogue observations of the real world and the symbolic ...
Emmanuel Ramasso, Costas Panagiotakis, Denis Pelle...
ESOP
2005
Springer
14 years 3 months ago
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
Alan Jeffrey, Julian Rathke
ENTCS
2008
106views more  ENTCS 2008»
13 years 10 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
ISM
2006
IEEE
153views Multimedia» more  ISM 2006»
14 years 3 months ago
A Forward-Looking User Interface for CBIR and CFIR Systems
Abstract— This demonstration highlights the benefits that image retrieval systems can enjoy by use of a thoughtful interface. We present a live demonstration of PRISM, a new Web...
Liam M. Mayron, Oge Marques, Gustavo B. Borba, Hum...
WETICE
1997
IEEE
14 years 2 months ago
A Semantic Approach of Virtual Worlds Interoperability
This paper presents semantic approach for a solution of the problem of interoperability for virtual worlds. The semantic of virtual worlds and virtual entities is described using ...
Michel Soto, Sébastien Allongue