Sciweavers

4209 search results - page 235 / 842
» Abstract Dialectical Frameworks
Sort
View
ICC
2007
IEEE
16 years 26 days 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 20 days 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 19 days 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 16 days 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
EKAW
2004
Springer
15 years 12 months 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...