Sciweavers

49 search results - page 6 / 10
» A calculus for uniform feature composition
Sort
View
79
Voted
CORR
2008
Springer
90views Education» more  CORR 2008»
14 years 9 months ago
On characterising strong bisimilarity in a fragment of CCS with replication
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The ch...
Daniel Hirschkoff, Damien Pous
92
Voted
AAAI
1996
14 years 11 months ago
Formalizing Narratives Using Nested Circumscription
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
Chitta Baral, Alfredo Gabaldon, Alessandro Provett...
FSEN
2007
Springer
15 years 3 months ago
A Model of Component-Based Programming
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
ICWS
2008
IEEE
14 years 11 months ago
A Framework for the Semantic Composition of Web Services Handling User Constraints
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
Youssef Gamha, Nacéra Bennacer, Guy Vidal-N...
92
Voted
ICIP
2006
IEEE
15 years 11 months ago
Perceptual Feature Selection for Semantic Image Classification
Content-based image retrieval has become an indispensable tool for managing the rapidly growing collections of digital images. The goal is to organize the contents semantically, a...
Dejan Depalov, Thrasyvoulos N. Pappas, Dongge Li, ...