Sciweavers

783 search results - page 140 / 157
» The TextPro Tool Suite
Sort
View
WSC
1989
13 years 9 months ago
A general purpose animator
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
Daniel T. Brunner, James O. Henriksen
APVIS
2009
13 years 9 months ago
HiMap: Adaptive visualization of large-scale online social networks
Visualizing large-scale online social network is a challenging yet essential task. This paper presents HiMap, a system that visualizes it by clustered graph via hierarchical group...
Lei Shi, Nan Cao, Shixia Liu, Weihong Qian, Li Tan...
FLAIRS
2010
13 years 9 months ago
Assumption-Based Reasoning for Multiagent Case-Based Recommender Systems
Recommender systems (RSs) are popular tools dealing with information overload problems in eCommerce Web sites. RSs match user preferences with item representations and recommend t...
Fabiana Lorenzi, Francesco Ricci, Mara Abel, Ana L...
SAC
2010
ACM
13 years 8 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink
ICASSP
2010
IEEE
13 years 8 months ago
Fast signal analysis and decomposition on graphs using the Sparse Matrix Transform
Recently, the Sparse Matrix Transform (SMT) has been proposed as a tool for estimating the eigen-decomposition of high dimensional data vectors [1]. The SMT approach has two major...
Leonardo R. Bachega, Guangzhi Cao, Charles A. Boum...