575 search results - page 48 / 115 » Wichita State University |
110
Voted
ACMSE
2007
ACM
15 years 7 months ago
2007
ACM
We have been funded by the University of North Carolina Office of the President [1] to establish a consortium to promote high performance computing at comprehensive universities t...
151
Voted
PKC
2011
Springer
14 years 6 months ago
2011
Springer
xtended abstract which appears in the 2011 International Conference on Theory and Practice in Public Key Cryptography PKC 2011 (6–9 march 2011, Taormina, Italy) D. Catalano, N. F...
303
Voted
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We propose a novel approach for modelling correlations
between activities in a busy public space captured by multiple
non-overlapping and uncalibrated cameras. In our approach,
...
150
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
131
Voted
CAV
2000
Springer
15 years 7 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...