2233 search results - page 215 / 447 » On the Complexity of Theory Curbing |
138
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Jerne's idiotypic-network theory postulates that the immune response involves interantibody stimulation and suppression, as well as matching to antigens. The theory has proved...
147
click to vote
DEDS
2008
15 years 6 months ago
2008
Network calculus offers powerful tools to analyze the performances in communication networks, in particular to obtain deterministic bounds. This theory is based on a strong mathema...
192
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In combinatorics, the probabilistic method is a very powerful tool to prove the existence of combinatorial objects with interesting and useful properties. Explicit constr...
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
175
click to vote
IANDC
2006
15 years 6 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...