9387 search results - page 412 / 1878 » An Optimal Process Model for a Real Time Process |
199
click to vote
QEST
2006
IEEE
16 years 23 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
187
Voted
PODS
2005
ACM
16 years 6 months ago
2005
ACM
Time-series data naturally arise in countless domains, such as meteorology, astrophysics, geology, multimedia, and economics. Similarity search is very popular, and DTW (Dynamic T...
169
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
— A new standpoint on financial time series, without the use of any mathematical model and of probabilistic tools, yields not only a rigorous approach of trends and volatility, ...
190
click to vote
FPGA
2010
ACM
16 years 3 months ago
2010
ACM
Deep submicron processes have allowed FPGAs to grow in complexity and speed. However, such technology scaling has caused FPGAs to become more susceptible to the effects of process...
174
click to vote
DASFAA
2008
IEEE
15 years 8 months ago
2008
IEEE
The increase in the advanced location based services such as traffic coordination and management necessitates the need for advanced models tracking the positions of Moving Objects ...