Sciweavers

3885 search results - page 360 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
VMCAI
2007
Springer
16 years 26 days ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
AVSS
2006
IEEE
16 years 25 days ago
Skin Colour-Based Face Detection in Colour Images
We propose in this work a method for detecting faces in colour images with complex backgrounds. The approach starts with the transformation of the image pixels from the RGB colour...
Wen-Hsiang Lai, Chang-Tsun Li
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
16 years 24 days ago
Mathematical Foundation for Hormone-inspired Control for Self-reconfigurable Robotic Systems
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
Feili Hou, Wei-Min Shen
ISCA
2006
IEEE
120views Hardware» more  ISCA 2006»
16 years 24 days ago
Interconnection Networks for Scalable Quantum Computers
We show that the problem of communication in a quantum computer reduces to constructing reliable quantum channels by distributing high-fidelity EPR pairs. We develop analytical m...
Nemanja Isailovic, Yatish Patel, Mark Whitney, Joh...
SOFTVIS
2006
ACM
16 years 22 days ago
Semantic web data visualization with graph style sheets
Visual paradigms such as node-link diagrams are well suited to the representation of Semantic Web data encoded with the Resource Description Framework (RDF), whose data model can ...
Emmanuel Pietriga