2286 search results - page 380 / 458 » Algorithms for Categorical Equivalence |
175
click to vote
ITCC
2000
IEEE
15 years 10 months ago
2000
IEEE
In multiuser communication, the receiver’s performance is degraded by multiuser interference (MUI) as well as multipath distortions. This paper aims at elimination of these side...
170
click to vote
DARS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract—In this paper we present a new approach to the problem of simultaneously localizing a group of mobile robots capable of sensing one another. Each of the robots collects ...
205
click to vote
FOSSACS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
149
click to vote
SPAA
1998
ACM
15 years 10 months ago
1998
ACM
We present a computation-centric theory of memory models. Unlike traditional processor-centric models, computation-centric models focus on the logical dependencies among instructi...
175
click to vote
PODS
1997
ACM
15 years 10 months ago
1997
ACM
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...