Sciweavers

500 search results - page 31 / 100
» Quantum computing: beyond the limits of conventional computa...
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 11 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
ACCV
2006
Springer
14 years 1 months ago
Super Resolution Using Graph-Cut
Abstract. This paper addresses the problem of super resolution - obtaining a single high-resolution image given a set of low resolution images which are related by small displaceme...
Uma Mudenagudi, Ram Singla, Prem Kumar Kalra, Subh...
ICCSA
2005
Springer
14 years 1 months ago
On URL Normalization
Since syntactically different URLs could represent the same resource in WWW, there are on-going efforts to define the URL normalization in the standard communities. This paper cons...
Sang Ho Lee, Sung Jin Kim, Seok-Hoo Hong
SIGDOC
2004
ACM
14 years 1 months ago
Assessing effectiveness of personality style in documentation
This paper extends previous work by other researchers that indicated that users of computers preferred a computer with a personality that was similar to theirs. We conducted a sim...
Kenneth Sayles, David G. Novick
WCNC
2010
IEEE
13 years 11 months ago
Hierarchical Alphabet and Parametric Channel Constrained Capacity Regions for HDF Strategy in Parametric Wireless 2-WRC
Abstract—The paper addresses wireless the 2-Way Relay Channel (2-WRC) system with a Hierarchical Decode and Forward strategy. This strategy uses a Hierarchical eXclusive Code (HX...
Jan Sykora, Alister G. Burr