497 search results - page 47 / 100 » On combinations of local theory extensions |
145
click to vote
DALT
2007
Springer
15 years 3 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
119
click to vote
LICS
2010
IEEE
15 years 11 days ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
123
Voted
TPDS
2010
15 years 9 days ago
2010
—In this paper, we consider the issue of efficient broadcasting in mobile ad hoc networks (MANETs) using network coding and directional antennas. Network coding-based broadcastin...
110
Voted
JCT
1998
15 years 1 months ago
1998
The aim of this note is to point out some combinatorial applications of a lemma of Scarf, proved first in the context of game theory. The usefulness of the lemma in combinatorics...
122
click to vote
PODS
2006
ACM
16 years 2 months ago
2006
ACM
Finding icebergs ? items whose frequency of occurrence is above a certain threshold ? is an important problem with a wide range of applications. Most of the existing work focuses ...