Sciweavers

2075 search results - page 349 / 415
» Usage-based Object Similarity
Sort
View
149
Voted
ATVA
2010
Springer
148views Hardware» more  ATVA 2010»
15 years 3 months ago
Recursive Timed Automata
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
Ashutosh Trivedi, Dominik Wojtczak
128
Voted
ECWEB
2010
Springer
163views ECommerce» more  ECWEB 2010»
15 years 3 months ago
Social Networks as Data Source for Recommendation Systems
Abstract. Reviews and review based rankings are widely used in recommendation systems to provide potential customers quality information about selected products. During the last ye...
Mathias Bank, Juergen Franke
DICTA
2009
15 years 3 months ago
Improved Single Image Dehazing Using Geometry
Images captured in foggy weather conditions exhibit losses in quality which are dependent on distance. If the depth and atmospheric conditions are known, one can enhance the images...
Peter Carr, Richard Hartley
138
Voted
HPDC
2010
IEEE
15 years 3 months ago
A hybrid Markov chain model for workload on parallel computers
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
Anne Krampe, Joachim Lepping, Wiebke Sieben
123
Voted
MM
2010
ACM
132views Multimedia» more  MM 2010»
15 years 2 months ago
One person labels one million images
Targeting the same objective of alleviating the manual work as automatic annotation, in this paper, we propose a novel framework with minimal human effort to manually annotate a l...
Jinhui Tang, Qiang Chen, Shuicheng Yan, Tat-Seng C...