5216 search results - page 258 / 1044 » Planning as Model Checking |
157
click to vote
MR
2007
15 years 4 months ago
2007
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
124
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— The roller racer, an undulatory locomotion system, is a toy which can be propelled forward by sitting on it and only oscillating the steering handle. A nonholonomic dyn...
132
click to vote
ISMAR
2002
IEEE
15 years 9 months ago
2002
IEEE
There is a problem in the spatial and temporal separation between the varying forms of representation used in urban design. Sketches, physical models, and more recently computatio...
KDD
2002
ACM
16 years 4 months ago
2002
ACM
We present and discuss the important business problem of estimating the effect of retention efforts on the Lifetime Value of a customer in the Telecommunications industry. We disc...
140
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
— Decoupling capacitors (decaps) are typically used to reduce the noise in the power supply network. Because the delay of gates and interconnects is affected by the supply voltag...