Sciweavers

893 search results - page 7 / 179
» Descent Theory for Schemes
Sort
View
BIRTHDAY
2010
Springer
13 years 8 months ago
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
Dexter Kozen
ISCC
2006
IEEE
109views Communications» more  ISCC 2006»
14 years 1 months ago
A Call Level Adaptive Bandwidth Allocation Scheme Based on Lyapunov Control Theory
— In this paper, we propose an adaptive capacity allocation scheme at the call level for a blocked call cleared loss system. The scheme aims to maintain the connection blocking p...
Hesham Bin-Abbas, David Tipper
IACR
2011
125views more  IACR 2011»
12 years 7 months ago
On Constructing Homomorphic Encryption Schemes from Coding Theory
Abstract. Homomorphic encryption schemes are powerful cryptographic primitives that allow for a variety of applications. Consequently, a variety of proposals have been made in the ...
Frederik Armknecht, Daniel Augot, Ludovic Perret, ...
MM
2004
ACM
117views Multimedia» more  MM 2004»
14 years 25 days ago
Optimized mesh and texture multiplexing for progressive textured model transmission
An optimized scheme of multiplexing coded mesh and texture data to facilitate progressive transmission of 3D textured models is proposed in this work. The mesh and texture data of...
Sheng Yang, Chao-Hua Lee, C. C. Jay Kuo