Sciweavers

2163 search results - page 337 / 433
» cases 2004
Sort
View
DELTA
2004
IEEE
15 years 1 months ago
A Novel Approach to Real-time Bilinear Interpolation
Bilinear interpolation is often used to improve image quality after performing spatial transformation operations such as digital zooming or rotation. In the traditional case where...
K. T. Gribbon, Donald G. Bailey
DFT
2004
IEEE
118views VLSI» more  DFT 2004»
15 years 1 months ago
Defect Characterization for Scaling of QCA Devices
Quantum dot Cellular Automata (QCA) is amongst promising new computing scheme in the nano-scale regimes. As an emerging technology, QCA relies on radically different operations in...
Jing Huang, Mariam Momenzadeh, Mehdi Baradaran Tah...
DSN
2004
IEEE
15 years 1 months ago
Model Checking Action- and State-Labelled Markov Chains
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
Christel Baier, Lucia Cloth, Boudewijn R. Haverkor...
DSN
2004
IEEE
15 years 1 months ago
An SLA-Oriented Capacity Planning Tool for Streaming Media Services
The main problem we address in this paper is how to map the requirements of a known media service workload into the corresponding system resource requirements and to accurately siz...
Ludmila Cherkasova, Wenting Tang, Sharad Singhal
ECAI
2004
Springer
15 years 1 months ago
Artificial Agents - Personhood in Law and Philosophy
Thinking about how the law might decide whether to extend legal personhood to artificial agents provides a valuable testbed for philosophical theories of mind. Further, philosophic...
Samir Chopra, Laurence White