1804 search results - page 236 / 361 » On set systems with a threshold property |
152
click to vote
MIR
2005
ACM
16 years 15 hour ago
2005
ACM
We address evaluation of image understanding and retrieval large scale image data in the context of three evaluation projects. The first project is a comprehensive strategy for e...
172
click to vote
POPL
2005
ACM
16 years 13 hour ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
196
click to vote
BERTINORO
2005
Springer
16 years 2 hour ago
2005
Springer
We consider the problem of assigning transmission powers to the nodes of a wireless network in such a way that all the nodes are connected by bidirectional links and the total powe...
206
click to vote
AMEC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
186
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...