Sciweavers

592 search results - page 50 / 119
» Social, Structured and Semantic Search
Sort
View
119
Voted
ENTCS
2008
120views more  ENTCS 2008»
15 years 17 days ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
96
Voted
KDD
2009
ACM
164views Data Mining» more  KDD 2009»
16 years 1 months ago
Social influence analysis in large-scale networks
In large social networks, nodes (users, entities) are influenced by others for various reasons. For example, the colleagues have strong influence on one's work, while the fri...
Jie Tang, Jimeng Sun, Chi Wang, Zi Yang
CORR
2010
Springer
165views Education» more  CORR 2010»
15 years 18 days ago
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
Rajeev Goré, Linda Postniece, Alwen Tiu
109
Voted
MM
2010
ACM
183views Multimedia» more  MM 2010»
15 years 22 days ago
MediaPick: tangible semantic media retrieval system
This paper addresses the design and development of MediaPick [1], an interactive multi-touch system for semantic search of multimedia contents. Our solution provides an intuitive,...
Gianpaolo D'Amico, Andrea Ferracani, Lea Landucci,...
CIVR
2008
Springer
239views Image Analysis» more  CIVR 2008»
15 years 2 months ago
Analyzing Flickr groups
There is an explosion of community-generated multimedia content available online. In particular, Flickr constitutes a 200-million photo sharing system where users participate foll...
Radu Andrei Negoescu, Daniel Gatica-Perez