Sciweavers

2106 search results - page 101 / 422
» Operational Semantics for MSC'96
Sort
View
JODS
2006
206views Data Mining» more  JODS 2006»
14 years 10 months ago
Emergent Semantics in Knowledge Sifter: An Evolutionary Search Agent Based on Semantic Web Services
This paper addresses the various facets of emergent semantics in content retrieval systems such as Knowledge Sifter, an architecture and system based on the use of specialized agen...
Larry Kerschberg, Hanjo Jeong, Wooju Kim
FSTTCS
2005
Springer
15 years 3 months ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...
ICIP
2008
IEEE
15 years 4 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
CONCUR
2001
Springer
15 years 2 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 2 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