10159 search results - page 1787 / 2032 » System Design Validation Using Formal Models |
322
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Many time series prediction methods have focused on single step or short term prediction problems due to the inherent difficulty in controlling the propagation of errors from one ...
161
click to vote
IQ
2001
15 years 8 months ago
2001
: Physical and informational works are strongly interrelated in a business process. This facilitates modeling a business process as an integral part of a closed loop information an...
176
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
194
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
Embedded systems technologies and advances in micro electronics have accelerated the evolution of driver assistance systems towards more driving safety, comfort, entertainment and...
203
Voted
MASCOTS
2010
15 years 4 months ago
2010
Requests scheduling in Web servers is a hot research topic. Many works aim at providing optimal algorithms according to various metrics. Most of these works are based on classical ...