959 search results - page 84 / 192 » Transfers between Logics and their Applications |
174
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
152
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we present a low complexity Modulo-PCM based coding algorithm for high speed video cameras used in applications that demand very high frame rates. By compressing th...
140
click to vote
DATE
2009
IEEE
16 years 28 days ago
2009
IEEE
This paper presents a design methodology for fully reconfigurable low-voltage Delta-Sigma converters as for instance used in next-generation wireless applications. The design metho...
151
click to vote
ISNN
2007
Springer
16 years 10 days ago
2007
Springer
This paper proposes novel hierarchical self-organizing associative memory architecture for machine learning. This memory architecture is characterized with sparse and local interco...
174
click to vote
HICSS
2006
IEEE
16 years 7 days ago
2006
IEEE
Utility provisioning, Grid resource management, instant copy kiosks, and network transfers provide an exciting new paradigm for data warehouse functions. Grid technologies are fas...