3415 search results - page 314 / 683 » Lower bounds on kernelization |
131
click to vote
ISAAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Folding an n × n checkerboard pattern from a square of paper that is white on one side and black on the other has been thought for several years to require a paper squar...
207
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
157
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We propose the novel concept of cooperation for deafness prevention in directional antenna ad hoc networks, along with a low-complexity multiuser detector specialised for these...
149
click to vote
LPAR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
166
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...