2835 search results - page 189 / 567 » Automatic Question Answering |
111
click to vote
FOCS
2002
IEEE
15 years 9 months ago
2002
IEEE
We provide the first polynomial time algorithm for the linear version of a market equilibrium model defined by Irving Fisher in 1891, thereby partially answering an open questio...
127
click to vote
FSTTCS
2001
Springer
15 years 9 months ago
2001
Springer
This paper has the following goals: – To survey some of the recent developments in the field of derandomization. – To introduce a new notion of time-bounded Kolmogorov complex...
117
Voted
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
140
Voted
CCCG
2010
15 years 6 months ago
2010
Do convex obstacles in the plane always leave 3 separate escape routes? Here, an escape route is a locally geodesic path that avoids the obstacles; escape routes are separate if t...
124
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
CENC (Cipher-based ENCryption) is the recently designed encryption mode for blockciphers. It is provably secure with beyond the birthday bound. In this note, we present a simple di...