5510 search results - page 182 / 1102 » Mathematics |
115
click to vote
MKM
2005
Springer
16 years 16 hour ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
168
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
174
click to vote
CSB
2003
IEEE
15 years 11 months ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
186
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...
168
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an algorithm for simultaneous gate sizing and fanout optimization along the timing-critical paths in a circuit. First, a continuous-variable delay model that ...