504 search results - page 79 / 101 » The Complexity of Symmetry-Breaking Formulas |
125
click to vote
HAPTICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Haptic interactions with stiff virtual surfaces feel more realistic when a short-duration transient is added to the spring force at contact. But how should this event-based transi...
142
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
135
click to vote
ASIACRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Unbalanced Feistel schemes with expanding functions are used to construct pseudo-random permutations from kn bits to kn bits by using random functions from n bits to (k − 1)n bit...
148
click to vote
COLT
2007
Springer
15 years 10 months ago
2007
Springer
We prove that the concept class of disjunctions cannot be pointwise approximated by linear combinations of any small set of arbitrary real-valued functions. That is, suppose there ...
136
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...