1580 search results - page 66 / 316 » Modules for Crosscutting Models |
CISIS
2010
IEEE
13 years 5 months ago
2010
IEEE
Regulatory cascades consisting of stress-induced gene modules and their transcriptional regulators were recently identified and quantitatively modeled using Artificial Neural Netwo...
IBMRD
2006
13 years 7 months ago
2006
We present Justice, a set of extensions to the Liberty simulation infrastructure that model area, wire length, and power consumption in processor architectures. Given an architectu...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
DRR
2010
13 years 10 months ago
2010
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
- A sensor fusion algorithm for flexible framed modular mobile robots is presented in this paper. This algorithm uses traditional Kalman filters and rigid axle kinematic models to ...