4190 search results - page 82 / 838 » Type Class Directives |
140
Voted
CAD
2005
Springer
15 years 2 months ago
2005
Springer
For generalized cylinders (GC) defined by contours of discrete curves, we propose two algorithms to generate GC surfaces (1) in polygonal meshes and (2) in cylindrical type of dev...
135
Voted
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
104
Voted
CSC
2006
15 years 3 months ago
2006
In this article, we study a class of biorthogonal sampling functions in the context of bandlimited wavelets, Meyer type wavelets. Originally raised in the construction of bandlimi...
102
click to vote
CHI
2008
ACM
16 years 2 months ago
2008
ACM
We present a method for browsing videos by directly dragging their content. This method brings the benefits of direct manipulation to an activity typically mediated by widgets. We...
101
click to vote
ICCD
2002
IEEE
15 years 11 months ago
2002
IEEE
Our goal is to identify the key architectural and design issues related to Sensor Networks (SNs), evaluate the proposed solutions, and to outline the most challenging research dir...