2661 search results - page 430 / 533 » Quantum Complexity Classes |
112
click to vote
IANDC
2008
15 years 3 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
151
click to vote
CN
2006
15 years 3 months ago
2006
As buffer-less crossbar scheduling algorithms reach their practical limitations due to higher port numbers and data rates, internally buffered crossbar (IBC) switches have gained ...
130
Voted
COMCOM
2006
15 years 3 months ago
2006
We assess the state of Internet congestion control and error recovery through a controlled study that considers the integration of standards-track TCP error recovery and both TCP ...
136
click to vote
CORR
2006
Springer
15 years 3 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...
128
click to vote
DATAMINE
2006
15 years 3 months ago
2006
Standard hidden Markov models (HMM's) have been studied extensively in the last two decades. It is well known that these models assume state conditional independence of the ob...