3154 search results - page 132 / 631 » Computing Closed Skycubes |
LOGCOM
2006
13 years 10 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
TCOM
2008
13 years 10 months ago
2008
This paper applies the concept of balanced capacity (a tradeoff between performance and fairness) to the uplink of a frequency-selective multiuser channel. Individual power constr...
TCS
2008
13 years 10 months ago
2008
This paper studies shapes (curves and surfaces) which can be described by (piecewise) polynomial support functions. The class of these shapes is closed under convolutions, offsett...
TOC
2008
13 years 10 months ago
2008
Abstract: This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and polynomials over GF(2)....
ASE
2004
13 years 10 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...