Sciweavers

4209 search results - page 235 / 842
» Abstract Dialectical Frameworks
Sort
View
ICC
2007
IEEE
16 years 1 months ago
QoS Constrained VoIP Scheduling in 1xEV-DO
Abstract—A QoS constrained scheduling framework is presented and evaluated for VoIP traffic. QoS factors such as frame error rate, delay, codec related quality factors are added...
Bo Wei, Adrian Boariu
KI
2007
Springer
16 years 1 months ago
Relational Exploration - Reconciling Plato and Aristotle
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
Sebastian Rudolph
TBILLC
2007
Springer
16 years 1 months ago
Expressing Belief Flow in Assertion Networks
In the line of some earlier work done on belief dynamics, we an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal la...
Sujata Ghosh, Fernando R. Velázquez-Quesada
LICS
2006
IEEE
16 years 1 months ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
169
Voted
EKAW
2004
Springer
16 years 15 days ago
Knowledge Modelling for Deductive Web Mining
Abstract. Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusabl...
Vojtech Svátek, Martin Labský, Miros...