1226 search results - page 150 / 246 » Proofs, Programs and Abstract Complexity |
120
click to vote
COCO
1994
Springer
15 years 7 months ago
1994
Springer
Resource-bounded measure as originated by Lutz is an extension of classical measure theory which provides a probabilistic means of describing the relative sizes of complexity clas...
151
Voted
JCSS
2000
15 years 3 months ago
2000
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...
110
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
122
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
132
click to vote
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. We propose a novel method for action detection based on a new action descriptor called a shape flow that represents both the shape and movement of an object in a holistic...