Sciweavers

1115 search results - page 31 / 223
» An Abstract Look at Realizability
Sort
View
ENGL
2006
73views more  ENGL 2006»
13 years 7 months ago
Design of Reversible/Quantum Ternary Multiplexer and Demultiplexer
Abstract: In this paper, we show realization of macrolevel ternary reversible 2-qudit Feynman gate, 3-qudit controlled Feynman gate, and 3-qudit Toffoli gates using ternary reversi...
Mozammel H. A. Khan
SEMWEB
2010
Springer
13 years 2 months ago
Smart objects: Challenges for Semantic Web research
Abstract. The increased availability and robustness of sensors, the wide-spread use of the internet as a communication environment and the intensified adoption of semantic technolo...
Marta Sabou
QUESTA
2006
204views more  QUESTA 2006»
13 years 7 months ago
Exact emulation of a priority queue with a switch and delay lines
Abstract All-optical packet switched networking is hampered by the problem of realizing viable queues for optical packets. Packets can be buffered in delay lines, but delay linesdo...
Anand D. Sarwate, Venkat Anantharam
ICANNGA
2009
Springer
130views Algorithms» more  ICANNGA 2009»
14 years 2 months ago
String Distances and Uniformities
Abstract. The Levenstein or edit distance was developed as a metric for calculating distances between character strings. We are looking at weighting the different edit operations (...
David W. Pearson, Jean-Christophe Janodet
CCA
2005
Springer
14 years 1 months ago
A Lambda Calculus for Real Analysis
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
Paul Taylor 0002