Sciweavers

906 search results - page 86 / 182
» Bunching for Regions and Locations
Sort
View
DAC
1994
ACM
15 years 3 months ago
Error Diagnosis for Transistor-Level Verification
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
Andreas Kuehlmann, David Ihsin Cheng, Arvind Srini...
AINA
2004
IEEE
15 years 2 months ago
Region-based Stage Construction Protocol for Fault tolerant Execution of Mobile Agent
Fault tolerance is essential to the development of reliable mobile agent system in order to guarantee continuous execution of mobile agents. For this purpose, some previous works ...
SungJin Choi, MaengSoon Baik, HongSoo Kim, JunWeon...
CLEAR
2006
Springer
190views Biometrics» more  CLEAR 2006»
15 years 2 months ago
Evaluation of USC Human Tracking System for Surveillance Videos
The evaluation results of a system for tracking humans in surveillance videos are presented. Moving blobs are detected based on adaptive background modeling. A shape based multi-vi...
Bo Wu, Xuefeng Song, Vivek Kumar Singh, Ram Nevati...
CP
2006
Springer
15 years 2 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
NPAR
2000
ACM
15 years 2 months ago
An algorithm for automatic painterly rendering based on local source image approximation
This paper presents a new method for the automatic painterly rendering. This method synthesizes an impressive image with a handcrafted look from a source image such as a photograp...
Michio Shiraishi, Yasushi Yamaguchi