5401 search results - page 373 / 1081 » Using Versions in GIS |
149
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Assignment stack shrinking is a technique that is intended to speed up the performance of modern complete SAT solvers. Shrinking was shown to be efficient in SAT’04 competition w...
168
click to vote
FSE
2007
Springer
15 years 10 months ago
2007
Springer
The previous key recovery attacks against Helix obtain the key with about 288 operations using chosen nonces (reusing nonce) and about 1000 adaptively chosen plaintext words (or 23...
176
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
We consider the throughput/delay tradeoffs for scheduling data transmissions in a mobile ad hoc network. To reduce delays in the network, each user sends redundant packets along mu...
171
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present an approximation theory for the extended answer set semantics, using the concept of an approximation constraint. Intuitively, an approximation constraint, whil...
208
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
A field-programmable gate array (FPGA) implementation of a new detection algorithm for uncoded multiple inputmultiple output (MIMO) systems based on the complex version of the sph...