7840 search results - page 297 / 1568 » On generalized Ramsey numbers |
160
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
The minimization problem for Horn formulas is to find a Horn formula equivalent to a given Horn formula, using a minimum number of clauses. A 2log1−ǫ (n) -inapproximability re...
159
Voted
HOTSWUP
2009
ACM
15 years 11 months ago
2009
ACM
We consider the state mapping problem for dynamic software updates and propose a number of approaches that have the potential of automating the state mapping in practical setting....
145
click to vote
UIST
2009
ACM
15 years 11 months ago
2009
ACM
A pressure sensitive computer keyboard is presented that independently senses the force level on every depressed key. The design leverages existing membrane technologies and is su...
204
click to vote
TAMC
2009
Springer
15 years 11 months ago
2009
Springer
Because of irreversibility of movements, motion planning on directed graphs is much more intricate than that on graphs. Recently we showed that the feasibility of motion planning o...
156
click to vote
COCO
2001
Springer
15 years 11 months ago
2001
Springer
We present several applications of quantum amplitude amplification to finding claws and collisions in ordered or unordered functions. Our algorithms generalize those of Brassard...