Sciweavers

14809 search results - page 70 / 2962
» Model transformation by demonstration
Sort
View
OPODIS
2003
13 years 10 months ago
Transformations for Write-All-with-Collision Model
Dependable properties such as self-stabilization are crucial requirements in sensor networks. One way to achieve these properties is to utilize the vast literature on distributed ...
Sandeep S. Kulkarni, Umamaheswaran Arumugam
DAC
2012
ACM
11 years 11 months ago
Equivalence checking for behaviorally synthesized pipelines
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
Kecheng Hao, Sandip Ray, Fei Xie
AMFG
2005
IEEE
218views Biometrics» more  AMFG 2005»
14 years 2 months ago
Online Feature Selection Using Mutual Information for Real-Time Multi-view Object Tracking
It has been shown that features can be selected adaptively for object tracking in changing environments [1]. We propose to use the variance of Mutual Information [2] for online fea...
Alex Po Leung, Shaogang Gong
ECCV
2010
Springer
14 years 2 months ago
Fast Multi-Aspect 2D Human Detection
Abstract. We address the problem of detecting human figures in images, taking into account that the image of the human figure may be taken from a range of viewpoints. We capture ...
STEP
2003
IEEE
14 years 2 months ago
Incorporating Quality Requirements in Software Migration Process
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
Ying Zou