2716 search results - page 151 / 544 » Computational Topology for Shape Modeling |
164
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
197
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
Parallel visualization of large datasets in GeoFEM is described. Our visualization subsystem supports concurrent visualization with computation, and outputs a simplified small gra...
185
click to vote
MIR
2010
ACM
16 years 1 months ago
2010
ACM
Sparse coding is a key principle that underlies wavelet representation of natural images. In this paper, we explain that the effort of seeking a common wavelet sparse coding of i...
205
click to vote
STOC
2002
ACM
16 years 7 months ago
2002
ACM
We study the degradation in network performance caused by the selfish behavior of noncooperative network users. We consider a model of selfish routing in which the latency experie...
170
Voted
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
We present a new grammar formalism for parsing with freer word-order languages, motivated by recent linguistic research in German and the Slavic languages. Unlike CFGs, these gram...