7840 search results - page 297 / 1568 » On generalized Ramsey numbers |
178
click to vote
ICALP
2010
Springer
16 years 7 days 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...
170
Voted
HOTSWUP
2009
ACM
16 years 4 days 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....
164
Voted
UIST
2009
ACM
16 years 3 days 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...
231
Voted
TAMC
2009
Springer
15 years 12 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...
167
Voted
COCO
2001
Springer
15 years 12 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...