99 search results - page 13 / 20 » Analysis of Hybrid Translinear Circuit and Its Application |
TVCG
2008
13 years 10 months ago
2008
Anywhere Augmentation pursues the goal of lowering the initial investment of time and money necessary to participate in mixed reality work, bridging the gap between researchers in ...
IJSIR
2010
13 years 7 months ago
2010
Bacterial foraging optimization algorithm (BFOA) has been widely accepted as a global optimization algorithm of current interest for distributed optimization and control. BFOA is i...
TACAS
2010
Springer
14 years 5 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
ISCAS
2007
IEEE
14 years 4 months ago
2007
IEEE
—Piezoelectric materials have been proposed as embedded power source, which are capable of converting mechanical energy into electrical energy. However, power generated from a pi...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...