Sciweavers

632 search results - page 91 / 127
» Specifying Algorithm Visualizations in Terms of Data Flow
Sort
View
AVI
2006
13 years 10 months ago
Preserving the mental map in interactive graph interfaces
Graphs provide good representations for many domains. Interactive graph-based interfaces are desireable to browse and edit data for these domains. However, as graphs increase in s...
Manuel Freire, Pilar Rodríguez
AAAI
2012
11 years 11 months ago
Relative Attributes for Enhanced Human-Machine Communication
We propose to model relative attributes1 that capture the relationships between images and objects in terms of human-nameable visual properties. For example, the models can captur...
Devi Parikh, Adriana Kovashka, Amar Parkash, Krist...
ICDE
2009
IEEE
194views Database» more  ICDE 2009»
14 years 11 months ago
Top-k Set Similarity Joins
Abstract-- Similarity join is a useful primitive operation underlying many applications, such as near duplicate Web page detection, data integration, and pattern recognition. Tradi...
Chuan Xiao, Wei Wang 0011, Xuemin Lin, Haichuan Sh...
ATAL
2010
Springer
13 years 10 months ago
Distributed BDD-based BMC for the verification of multi-agent systems
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
Andrew V. Jones, Alessio Lomuscio
MM
2006
ACM
119views Multimedia» more  MM 2006»
14 years 3 months ago
Modelling dependency in multimedia streams
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...
Alexander Eichhorn