Sciweavers

2904 search results - page 302 / 581
» Valuing Design Repair
Sort
View
AVSS
2005
IEEE
16 years 6 days ago
Scene modelling using an adaptive mixture of Gaussians in colour and space
We present an integrated pixel segmentation and region tracking algorithm, designed for indoor environments. Visual monitoring systems often use frame differencing techniques to i...
Patrick Dickinson, Andrew Hunter
CSB
2005
IEEE
163views Bioinformatics» more  CSB 2005»
16 years 6 days ago
A symbolic approach to the simulation of biochemical models: application to circadian rhythms
Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...
Federico Fontana, Luca Bianco, Vincenzo Manca
GLVLSI
2005
IEEE
83views VLSI» more  GLVLSI 2005»
16 years 6 days ago
Diagnosing multiple transition faults in the absence of timing information
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
Jiang Brandon Liu, Magdy S. Abadir, Andreas G. Ven...
HAPTICS
2005
IEEE
16 years 6 days ago
A First Investigation into the Effectiveness of Tactons
This paper reports two experiments relating to the design of Tactons (or tactile icons). The first experiment investigated perception of vibro-tactile “roughness” (created usi...
Lorna M. Brown, Stephen A. Brewster, Helen C. Purc...
ICITA
2005
IEEE
16 years 5 days ago
Uncovering Attacks on Security Protocols
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
Wuu Yang