Sciweavers

501 search results - page 89 / 101
» Diagram Techniques for Confluence
Sort
View
JAR
2000
97views more  JAR 2000»
14 years 11 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
MST
2002
169views more  MST 2002»
14 years 11 months ago
Bulk Synchronous Parallel Algorithms for the External Memory Model
Abstract. Blockwise access to data is a central theme in the design of efficient external memory (EM) algorithms. A second important issue, when more than one disk is present, is f...
Frank K. H. A. Dehne, Wolfgang Dittrich, David A. ...
106
Voted
ISVC
2010
Springer
14 years 10 months ago
Visual Network Analysis of Dynamic Metabolic Pathways
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
Markus Rohrschneider, Alexander Ullrich, Andreas K...
111
Voted
IV
2010
IEEE
214views Visualization» more  IV 2010»
14 years 10 months ago
The Network Lens: Interactive Exploration of Multivariate Networks Using Visual Filtering
—Networks are widely used in modeling relational data often comprised of thousands of nodes and edges. This kind of data alone implies a challenge for its visualization as it is ...
Ilir Jusufi, Yang Dingjie, Andreas Kerren
ECSA
2010
Springer
14 years 9 months ago
Feature-Based Composition of Software Architectures
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
Carlos Andres Parra, Anthony Cleve, Xavier Blanc, ...