505 search results - page 65 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
IPTPS
2005
Springer
15 years 5 months ago
2005
Springer
Of the many P2P file-sharing prototypes in existence, BitTorrent is one of the few that has managed to attract millions of users. BitTorrent relies on other (global) components f...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
KDD
2010
ACM
15 years 3 months ago
2010
ACM
We analyze the application of ensemble learning to recommender systems on the Netflix Prize dataset. For our analysis we use a set of diverse state-of-the-art collaborative filt...
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
Near-duplicate video clip (NDVC) detection is an important problem with a wide range of applications such as TV broadcast monitoring, video copyright enforcement, content-based vi...
ENGL
2008
14 years 12 months ago
2008
Strong competition on the global automotive market is forcing car manufacturers rethink their strategic approach to manufacturing. In order to be competitive, companies need to man...