Sciweavers

2525 search results - page 379 / 505
» A Framework for Semantic Gossiping
Sort
View
FUIN
2008
56views more  FUIN 2008»
15 years 5 months ago
Representing Uncertainty in RuleML
The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for...
Carlos Viegas Damásio, Jeff Z. Pan, Giorgos...
ENTCS
2006
120views more  ENTCS 2006»
15 years 5 months ago
Timers for Distributed Systems
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
Gabriel Ciobanu, Cristian Prisacariu
HEURISTICS
2006
95views more  HEURISTICS 2006»
15 years 5 months ago
Hard and soft constraints for reasoning about qualitative conditional preferences
Many real life optimization problems are defined in terms of both hard and soft constraints, and qualitative conditional preferences. However, there is as yet no single framework f...
Carmel Domshlak, Steven David Prestwich, Francesca...
IJCV
2006
165views more  IJCV 2006»
15 years 5 months ago
A Critical View of Context
In this study, a discriminative detector for object context is designed and tested. The context-feature is simple to implement, feed-forward, and effective across multiple object t...
Lior Wolf, Stanley M. Bileschi
JAPLL
2008
76views more  JAPLL 2008»
15 years 5 months ago
The many faces of counts-as: A formal analysis of constitutive rules
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum