6608 search results - page 1194 / 1322 » On the Completeness of Model Checking |
144
click to vote
FUIN
2008
15 years 4 months ago
2008
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...
142
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Recent advances in genome technologies have provided an excellent opportunity to determine the complete biological characteristics of neoplastic tissues, resulting in ...
130
click to vote
CGF
2006
15 years 4 months ago
2006
Discrete curvature and shape operators, which capture complete information about directional curvatures at a point, are essential in a variety of applications: simulation of defor...
144
click to vote
COR
2006
15 years 4 months ago
2006
Numerical examples of a Braess-like paradox in which adding capacity to a distributed computer system may degrade the performance of all users in the system have been reported. Un...
132
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We consider a multiple access channel (MAC) with channel state information (CSI) non-causally known at some encoders. For simplicity of exposition, we focus on a two-encoder model...