Sciweavers

2121 search results - page 317 / 425
» Experimental Analysis of BRDF Models
Sort
View
ICMI
2004
Springer
235views Biometrics» more  ICMI 2004»
14 years 1 months ago
Multimodal detection of human interaction events in a nursing home environment
In this paper, we propose a multimodal system for detecting human activity and interaction patterns in a nursing home. Activities of groups of people are firstly treated as intera...
Datong Chen, Robert Malkin, Jie Yang
VTS
2002
IEEE
120views Hardware» more  VTS 2002»
14 years 23 days ago
Software-Based Weighted Random Testing for IP Cores in Bus-Based Programmable SoCs
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
Madhu K. Iyer, Kwang-Ting Cheng
CPM
1999
Springer
92views Combinatorics» more  CPM 1999»
14 years 4 days ago
Physical Mapping with Repeated Probes: The Hypergraph Superstring Problem
We focus on the combinatorial analysis of physical mapping with repeated probes. We present computational complexity results, and we describe and analyze an algorithmic strategy. W...
Serafim Batzoglou, Sorin Istrail
RSP
1999
IEEE
125views Control Systems» more  RSP 1999»
14 years 4 days ago
Extended Synchronous Dataflow for Efficient DSP System Prototyping
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...
Chanik Park, JaeWoong Chung, Soonhoi Ha
KBSE
1998
IEEE
14 years 3 days ago
Planning Equational Verification in CCS
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
Raul Monroy, Alan Bundy, Ian Green