80 search results - page 9 / 16 » Antichains in Products of Linear Orders |
AIPS
2008
13 years 9 months ago
2008
In this paper, we consider the problem of assisting a busy user in managing her workload of pending tasks. We assume that our user is typically oversubscribed, and is invariably j...
PAAMS
2009
Springer
14 years 1 days ago
2009
Springer
The multi-agent resource allocation problem is the negotiation of a set of resources among a population of agents, in order to maximize a social welfare function. The purpose of th...
VTC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— In frequency division duplex transceivers the transmit signal is leaking through the duplexer into the receive branch. For the case of Zero-IF receivers the nonlinearit...
DEXA
2000
Springer
13 years 11 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
TAMC
2010
Springer
14 years 16 days ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...