1802 search results - page 100 / 361 » Complexity Theory for Operators in Analysis |
177
click to vote
FOCS
2005
IEEE
15 years 12 months ago
2005
IEEE
Fredman, Sedgewick, Sleator, and Tarjan proposed the pairing heap as a self-adjusting, streamlined version of the Fibonacci heap. It provably supports all priority queue operation...
162
click to vote
DSN
2006
IEEE
16 years 9 days ago
2006
IEEE
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...
165
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
193
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Many non-cooperative settings that could potentially be studied using game theory are characterized by having very large strategy spaces and payoffs that are costly to compute. Be...
161
click to vote
PODS
2005
ACM
16 years 6 months ago
2005
ACM
We introduce the Multi-Structural Database, a new data framework to support efficient analysis of large, complex data sets. An instance of the model consists of a set of data obje...