Sciweavers

4209 search results - page 526 / 842
» Abstract Dialectical Frameworks
Sort
View
WCET
2008
15 years 6 months ago
INFER: Interactive Timing Profiles based on Bayesian Networks
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
Michael Zolda
CIC
2004
101views Communications» more  CIC 2004»
15 years 6 months ago
Lexicons in TIL and Verb Valency Frames
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
Ales Horák, Karel Pala
CLIMA
2004
15 years 6 months ago
Contextual Taxonomies
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
CLIMA
2004
15 years 6 months ago
Symbolic Negotiation with Linear Logic
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...
Peep Küngas, Mihhail Matskin
CMS
2006
110views Communications» more  CMS 2006»
15 years 6 months ago
PPINA - A Forensic Investigation Protocol for Privacy Enhancing Technologies
Abstract. Although privacy is often seen as an essential right for internet users, the provision of anonymity can also provide the ultimate cover for malicious users. Privacy Enhan...
Giannakis Antoniou, Campbell Wilson, Dimitris Gene...