4636 search results - page 72 / 928 » Modelling and Validation with VipTool |
JIKM
2008
13 years 7 months ago
2008
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
PAMI
2012
11 years 10 months ago
2012
A novel system for long-term tracking of a human face in unconstrained videos is built on Tracking-Learning-Detection (TLD) approach. The system extends TLD with the concept of a ...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
This paper examines the power of different nonrigid registration models to detect changes in TBM, and their stability when no real changes are present. Specifically, we investigat...
ICCD
2001
IEEE
14 years 4 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
MEMOCODE
2007
IEEE
14 years 2 months ago
2007
IEEE
—With the arrival of nanometer technologies wire delays are no longer negligible with respect to gate delays, and timing-closure becomes a major challenge to System-on-Chip desig...