Sciweavers

3504 search results - page 333 / 701
» Computational Aspects of Equilibria
Sort
View
DRM
2005
Springer
16 years 12 days ago
Statistical audio watermarking algorithm based on perceptual analysis
In this paper, we describe a novel statistical audio watermarking scheme. Under the control of the masking thresholds, watermark is embedded adaptively and transparently in the pe...
Xiaomei Quan, Hongbin Zhang
ECSQARU
2005
Springer
16 years 12 days ago
A Possibilistic Inconsistency Handling in Answer Set Programming
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
Pascal Nicolas, Laurent Garcia, Igor Stépha...
EMSOFT
2005
Springer
16 years 12 days ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
EURONGI
2005
Springer
16 years 12 days ago
Service Level Agreement Enforcement for Differentiated Services
This paper describes a hierarchical architecture of active policies that performs the management of a differentiated services (DiffServ) network. These policies monitor quality of ...
Paulo Rogério Pereira
FOSSACS
2005
Springer
16 years 12 days ago
A Unifying Model of Variables and Names
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
Marino Miculan, Kidane Yemane