4520 search results - page 656 / 904 » Algebraic Techniques for Timed Systems |
196
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under th...
163
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
204
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
207
click to vote
TC
2010
15 years 5 months ago
2010
— Although data prefetching algorithms have been extensively studied for years, there is no counterpart research done for metadata access performance. Existing data prefetching a...
207
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper presents an adaptive neuro-fuzzy inference system (ANFIS) for USD/JPY exchange rates forecasting. Previous work often used time series techniques and neural networks (NN...