1507 search results - page 179 / 302 » Separating Complexity Classes Using Structural Properties |
155
Voted
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
115
click to vote
CJTCS
1999
15 years 1 months ago
1999
We show that thepermanent cannot be computed by uniform constantdepth threshold circuits of size Tn, for any function T such that for all k, Tk n = o2n. More generally, we show th...
121
Voted
JOT
2006
15 years 2 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
140
click to vote
JCSS
2000
15 years 2 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...
144
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...