Sciweavers

4752 search results - page 140 / 951
» From computation models to models of provenance: the RWS app...
Sort
View
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
16 years 2 months ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...
CVPR
2012
IEEE
13 years 4 months ago
Augmenting deformable part models with irregular-shaped object patches
The performance of part-based object detectors generally degrades for highly flexible objects. The limited topological structure of models and pre-specified part shapes are two ...
Roozbeh Mottaghi
WM
2003
15 years 3 months ago
Worlds, Models, and KM
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...
Cyrus F. Nourani
TFS
2011
264views Education» more  TFS 2011»
14 years 8 months ago
Information Granularity in Fuzzy Binary GrC Model
—Zadeh’s seminal work in theory of fuzzy-information3 granulation in human reasoning is inspired by the ways in which4 humans granulate information and reason with it. This has...
Yuhua Qian, Jiye Liang, W.-z. Z. Wu, Chuangyin Dan...
CRV
2007
IEEE
137views Robotics» more  CRV 2007»
15 years 8 months ago
Computing View-normalized Body Parts Trajectories
This paper proposes an approach to compute viewnormalized body part trajectories of pedestrians from monocular video sequences. The proposed approach first extracts the 2D trajec...
Frédéric Jean, Robert Bergevin, Alex...