7064 search results - page 102 / 1413 » From States to Histories |
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
TIT
2008
14 years 11 months ago
2008
We consider the problem of transmitting data at rate over a state-dependent channel with state information available at the sender and at the same time conveying the information ab...
122
click to vote
ACNS
2008
Springer
15 years 6 months ago
2008
Springer
We present generic constructions of stateful public key encryption (StPE). We build several new StPE schemes and explain existing ones using our generic constructions. Of the new ...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Trotting and galloping allow a quadruped to rapidly traverse rough terrain. Modeling this motion, which is only dynamically stable, is of importance for legged robot operation ...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
We consider games played on finite graphs, whose goal is to obtain a trace belonging to a given set of winning traces. We focus on those states from which Player 1 cannot force a w...