1274 search results - page 132 / 255 » New Proofs for |
88
Voted
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Client-server applications often do not scale well when a large number of clients access a single server. To solve this, a new trend is to allow a client to download data from oth...
204
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
92
Voted
JSC
2007
15 years 21 days ago
2007
A well-known result due to J. T. Stafford asserts that a stably free left module M over the Weyl algebras D = An(k) or Bn(k) − where k is a field of characteristic 0 − with ...
85
Voted
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
Wyner-Ziv (WZ) coding of video utilizes simple encoders and highly complex decoders. A transcoder from a WZ codec to a traditional codec can potentially increase the range of appl...
122
click to vote
MICCAI
2004
Springer
16 years 1 months ago
2004
Springer
We propose a new voxel similarity measure which utilises local image structure as well intensity information. Gaussian scale space derivatives are used to provide the structural in...