1805 search results - page 351 / 361 » A Theory of Closure Operators |
125
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
A network of n wireless communication links is considered in a Rayleigh fading environment. It is assumed that each link can be active and transmit with a constant power P or rema...
140
click to vote
JAR
2006
15 years 3 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
159
Voted
JMM2
2006
15 years 3 months ago
2006
External perception based on vision plays a critical role in developing improved and robust localization algorithms, as well as gaining important information about the vehicle and ...
166
click to vote
MST
2006
15 years 3 months ago
2006
Load balancing is a critical issue for the efficient operation of peerto-peer networks. We give two new load-balancing protocols whose provable performance guarantees are within a...
134
Voted
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
Computer science faculty must attract and retain students by offering innovative courses that spark student interest, yet still teach core, computer science concepts. These effort...