3552 search results - page 428 / 711 » Proof theory in the abstract |
199
click to vote
WG
2007
Springer
16 years 1 months 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...
190
click to vote
GLOBECOM
2006
IEEE
16 years 1 months 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 ...
196
Voted
ARGMAS
2005
Springer
16 years 1 months 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...
147
Voted
CIE
2005
Springer
16 years 1 months 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...
189
Voted
ECSQARU
2005
Springer
16 years 1 months 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...