3552 search results - page 428 / 711 » Proof theory in the abstract |
168
click to vote
WG
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...
173
click to vote
GLOBECOM
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— In this paper, we formulate an optimal rate allocation scheme for uplink and downlink in a single-cell CDMA system. Using concepts from game theory, we show that it is ...
176
click to vote
ARGMAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
127
click to vote
CIE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
176
click to vote
ECSQARU
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper, Ginsberg’s/Fitting’s theory of bilattices is invoked as a natural accommodation and powerful generalization to both intuitionistic fuzzy sets (IFSs) an...