6608 search results - page 1196 / 1322 » On the Completeness of Model Checking |
121
click to vote
CN
2007
15 years 4 months ago
2007
Receiver-driven TCP protocols delegate key congestion control functions to receivers. Their goal is to exploit information available only at receivers in order to improve latency ...
133
click to vote
COMBINATORICS
2007
15 years 4 months ago
2007
We define a higher spin alternating sign matrix to be an integer-entry square matrix in which, for a nonnegative integer r, all complete row and column sums are r, and all partia...
160
click to vote
IVC
2008
15 years 4 months ago
2008
This paper generalizes Markov Random Field (MRF) stereo methods to the generation of surface relief (height) fields rather than disparity or depth maps. This generalization enable...
124
click to vote
IJNSEC
2006
15 years 4 months ago
2006
It has always been a critical issue to find efficient methods for fast revocation of a user's identity in identity (ID)based cryptosystems. Unfortunately, none of the previou...
126
click to vote
JAR
2008
15 years 4 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...