2853 search results - page 372 / 571 » On Coherence in Computer Algebra |
124
click to vote
TCS
2010
14 years 10 months ago
2010
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
146
Voted
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
171
click to vote
COMPGEOM
2001
ACM
15 years 7 months ago
2001
ACM
The treatment of curved algebraic surfaces becomes more and more the focus of attention in Computational Geometry. We present a video that illustrates the computation of the conve...
131
click to vote
MM
2009
ACM
15 years 10 months ago
2009
ACM
Web image search is inspired by text search techniques; it mainly relies on indexing textual data that surround the image file. But retrieval results are often noisy and image pro...
136
click to vote
IEEEPACT
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents the Distributed Cooperative Caching, a scalable and energy-efficient scheme to manage chip multiprocessor (CMP) cache resources. The proposed configuration is...