258 search results - page 31 / 52 » Weak Bisimulation Approximants |
116
click to vote
COCO
1993
Springer
15 years 3 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
FOCS
1992
IEEE
15 years 3 months ago
1992
IEEE
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
MOC
2002
14 years 11 months ago
2002
Abstract. This paper investigates the behavior of numerical schemes for nonlinear conservation laws with source terms. We concentrate on two significant examples: relaxation approx...
118
click to vote
JC
2011
14 years 6 months ago
2011
It has been an open problem to derive a necessary and sufficient condition for a linear tensor product problem S = {Sd} in the average case setting to be weakly tractable but not ...
MOBIHOC
2006
ACM
15 years 11 months ago
2006
ACM
Localization is an important and extensively studied problem in ad-hoc wireless sensor networks. Given the connectivity graph of the sensor nodes, along with additional local info...