Sciweavers

4690 search results - page 278 / 938
» An operational semantics for Scheme
Sort
View
ICIP
2008
IEEE
16 years 1 months ago
A systematic study of the role of context on image classification
We present the results of a systematic study of the contextual gain hypothesis for image classification. This hypothesis relates the traditional strategy of direct visual classi...
Nikhil Rasiwasia, Nuno Vasconcelos
250
Voted
CONCUR
2001
Springer
15 years 11 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
SRDS
2000
IEEE
15 years 11 months ago
Optimistic Virtual Synchrony
Group communication systems are powerful building blocks that facilitate the development of fault-tolerant distributed applications. Such systems generally run in an asynchronous ...
Jeremy B. Sussman, Idit Keidar, Keith Marzullo
ICIP
2003
IEEE
16 years 8 months ago
Video object segmentation and tracking in stereo sequences using adaptable neural networks
In this paper, an adaptive neural network architecture is proposed for efficient video object segmentation and tracking of stereoscopic sequences. The scheme includes (a) a retrai...
Nikolaos D. Doulamis, Anastasios D. Doulamis
COMMA
2008
15 years 8 months ago
Arguments in OWL: A Progress Report
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
Iyad Rahwan, Bita Banihashemi