Sciweavers

2754 search results - page 352 / 551
» Competitive recommendation systems
Sort
View
APN
2008
Springer
15 years 6 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
JRTIP
2008
300views more  JRTIP 2008»
15 years 4 months ago
Real-time human action recognition on an embedded, reconfigurable video processing architecture
Abstract In recent years, automatic human action recognition has been widely researched within the computer vision and image processing communities. Here we propose a realtime, emb...
Hongying Meng, Michael Freeman, Nick Pears, Chris ...
WWW
2009
ACM
16 years 5 months ago
Large scale multi-label classification via metalabeler
The explosion of online content has made the management of such content non-trivial. Web-related tasks such as web page categorization, news filtering, query categorization, tag r...
Lei Tang, Suju Rajan, Vijay K. Narayanan
SIGMOD
2004
ACM
111views Database» more  SIGMOD 2004»
16 years 4 months ago
Spatial, Temporal and Spatio-Temporal Databases - Hot Issues and Directions for PhD Research
Spatial and temporal database systems, both in theory and in practice, have developed dramatically over the past two decades to the point where usable commercial systems, underpin...
John F. Roddick, Max J. Egenhofer, Erik G. Hoel, D...
CHI
2010
ACM
15 years 11 months ago
Lessons learned from blog muse: audience-based inspiration for bloggers
Blogging in the enterprise is increasingly popular and recent research has shown that there are numerous benefits for both individuals and the organization, e.g. developing reputa...
Casey Dugan, Werner Geyer, David R. Millen