Sciweavers

7486 search results - page 337 / 1498
» The Limits of Quantum Computers
Sort
View
STACS
2007
Springer
16 years 27 days ago
Bounded-Variable Fragments of Hybrid Logics
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
Thomas Schwentick, Volker Weber
CCECE
2006
IEEE
16 years 26 days ago
Evaluation Patterns of Tele-Haptics
Multimedia and Information technology are reaching limits in terms of what can be done in multimedia applications with only sight and sound. The next critical step is to bring the...
Xiaojun Shen, Jilin Zhou, Nicolas D. Georganas
DATE
2006
IEEE
71views Hardware» more  DATE 2006»
16 years 26 days ago
A logarithmic full-chip thermal analysis algorithm based on multi-layer Green's function
This paper derives the multi-layer heat conduction Green’s function, by integrating the eigen-expansion technique and the classic transmission line theories, and presents a loga...
Baohua Wang, Pinaki Mazumder
ICPR
2006
IEEE
16 years 25 days ago
Extending the Depth of Field in a Compound-Eye Imaging System with Super-Resolution Reconstruction
Optical device miniaturization is highly desirable in many applications. Direct down-scaling of traditional imaging system is one approach, but the extent to which it can be minim...
Wai-San Chan, Edmund Y. Lam, Michael K. Ng
179
Voted
ISORC
2006
IEEE
16 years 24 days ago
Portable Data Exchange for Remote-Testing Frameworks
To communicate between heterogeneous computer systems, mechanisms for data conversion are necessary. In this paper we present a portable, asymmetric data conversion method that is...
Raimund Kirner, Peter P. Puschner, Ingomar Wenzel,...