2370 search results - page 261 / 474 » A Structured Set of Higher-Order Problems |
148
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
116
click to vote
IDA
2009
Springer
15 years 10 months ago
2009
Springer
One of the most important and challenging questions in the area of clustering is how to choose the best-fitting algorithm and parameterization to obtain an optiml clustering for t...
106
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— In this paper the problem of designing a decentralized robust controller for a plant describing a dragfree satellite is addressed. From recent experiences in dragfree c...
163
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We present the unfairness problem between the uplink and the downlink flows in the IEEE 802.11e infrastructure Basic Service Set (BSS) when the default settings of the Enhance...
138
click to vote
P2P
2007
IEEE
15 years 10 months ago
2007
IEEE
To achieve higher efficiency over their unstructured counterparts, structured peer-to-peer systems hold each node responsible for serving a specified set of keys and correctly r...