1011 search results - page 75 / 203 » The three dimensions of proofs |
163
click to vote
TITB
2008
15 years 5 months ago
2008
This paper presents an efficient lossless compression method for 4-D medical images based on the advanced video coding scheme (H.264/AVC). The proposed method efficiently reduces d...
134
click to vote
ICWSM
2009
15 years 4 months ago
2009
Aggregators rely on votes, and links to select and present subsets of the large quantity of news and opinion items generated each day. Opinion and topic diversity in the output se...
168
click to vote
JCIT
2010
15 years 1 months ago
2010
As an effective way to share corporate social responsibility, corporate donation comes forth rapidly and has become a tendency. Based on the relative study, we construct the theor...
175
click to vote
JSCIC
2010
15 years 1 months ago
2010
In this paper we review fourth-order approximations of the biharmonic operator in one, two and three dimensions. In addition, we describe recent developments on second and fourth o...
199
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...