199 search results - page 30 / 40 » Intensional Positive Set Theory |
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
In this paper, a new method of feature extraction with rotation invariant property is presented. One of the main contributions of this study is that a rotation invariant signature...
VIS
2007
IEEE
14 years 9 months ago
2007
IEEE
Abstract-This paper describes a method for constructing isosurface triangulations of sampled, volumetric, three-dimensional scalar fields. The resulting meshes consist of triangles...
SEFM
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Many peer-to-peer (P2P) networks have been widely used for file sharing. A peer acts both as a content provider and a consumer, and is granted autonomy to decide what content, wit...