Sciweavers

3088 search results - page 547 / 618
» Online Passive-Aggressive Algorithms
Sort
View
FSTTCS
2008
Springer
13 years 10 months ago
Runtime Monitoring of Metric First-order Temporal Properties
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
David A. Basin, Felix Klaedtke, Samuel Müller...
ICML
2010
IEEE
13 years 9 months ago
FAB-MAP: Appearance-Based Place Recognition and Mapping using a Learned Visual Vocabulary Model
We present an overview of FAB-MAP, an algorithm for place recognition and mapping developed for infrastructure-free mobile robot navigation in large environments. The system allow...
Mark Joseph Cummins, Paul M. Newman
MM
2010
ACM
158views Multimedia» more  MM 2010»
13 years 9 months ago
Web-based semantic browsing of video collections using multimedia ontologies
In this technical demonstration we present a novel web-based tool that allows a user friendly semantic browsing of video collections, based on ontologies, concepts, concept relati...
Marco Bertini, Gianpaolo D'Amico, Andrea Ferracani...
RECSYS
2010
ACM
13 years 9 months ago
Recommending twitter users to follow using content and collaborative filtering approaches
Recently the world of the web has become more social and more real-time. Facebook and Twitter are perhaps the exemplars of a new generation of social, real-time web services and w...
John Hannon, Mike Bennett, Barry Smyth
SIGCOMM
2010
ACM
13 years 9 months ago
Autonomous traffic engineering with self-configuring topologies
Network operators use traffic engineering (TE) to control the flow of traffic across their networks. Existing TE methods require manual configuration of link weights or tunnels, w...
Srikanth Sundaresan, Cristian Lumezanu, Nick Feams...