3443 search results - page 20 / 689 » More Algebras for Determiners |
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
PRIS
2004
13 years 9 months ago
2004
Abstract. Feature selection researchers often encounter a peaking phenomenon: a feature subset can be found that is smaller but still enables building a more accurate classifier th...
FSE
2009
Springer
14 years 8 months ago
2009
Springer
In this paper we propose a new cryptanalytic method against block ciphers, which combines both algebraic and statistical techniques. More specifically, we show how to use algebraic...
AAAI
2000
13 years 9 months ago
2000
Combinatorial auctions can be used to reach efficient resource and task allocations in multiagent systems where the items are complementary. Determining the winners is NP-complete...
ECCV
1994
Springer
14 years 9 months ago
1994
Springer
Most of the work achieved thus far on aspect graphs has concentrated on the design of algorithms for computing the representation. After reviewing how the space of viewpoints can b...