1805 search results - page 223 / 361 » A Theory of Closure Operators |
152
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- In this paper, we are interested in using largedeviations theory to characterize the asymptotic decay-rate of the queue-overflow probability for distributed wireless sch...
156
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Motivated by combinatorial optimization theory, we propose an algorithmic power allocation method that minimizes the total transmitting power in transmitter diversity systems, prov...
191
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose artificial potential fields as a support theory for a feature linking algorithm. This algorithm operates on 3D triangle meshes derived from multiple range scans of an o...
157
click to vote
CADE
2006
Springer
15 years 10 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
172
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...