Sciweavers

CIKM
2011
Springer
13 years 18 days ago
Emerging topic detection using dictionary learning
Streaming user-generated content in the form of blogs, microblogs, forums, and multimedia sharing sites, provides a rich source of data from which invaluable information and insig...
Shiva Prasad Kasiviswanathan, Prem Melville, Arind...
HPDC
2010
IEEE
14 years 1 months ago
DiscFinder: a data-intensive scalable cluster finder for astrophysics
DiscFinder is a scalable approach for identifying large-scale astronomical structures, such as galaxy clusters, in massive observation and simulation astrophysics datasets. It is ...
Bin Fu, Kai Ren, Julio López, Eugene Fink, ...
AIIDE
2006
14 years 2 months ago
CrowdMixer: Multiple Agent Types in Situation-Based Crowd Simulations
This paper presents a scalable approach to crowd simulation that can generate complex and varied simulations by using multiple types of individuals in a crowd. Efficiency is attai...
Shannon Blyth, Howard J. Hamilton
CAV
1993
Springer
108views Hardware» more  CAV 1993»
14 years 4 months ago
Computer-Assisted Simulation Proofs
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
Jørgen F. Søgaard-Andersen, Stephen ...
CEEMAS
2005
Springer
14 years 6 months ago
A Self-configuring Agent-Based Document Indexing System
This paper describes an extensible and scalable approach to indexing documents that is utilized within the Highly Organised Team of Agents for Information Retrieval (HOTAIR) archit...
Liu Peng, Rem W. Collier, Angel Mur, David Lillis,...
KBSE
2006
IEEE
14 years 6 months ago
Modularity Analysis of Logical Design Models
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
Yuanfang Cai, Kevin J. Sullivan