Sciweavers

501 search results - page 94 / 101
» Diagram Techniques for Confluence
Sort
View
TVCG
2008
151views more  TVCG 2008»
13 years 10 months ago
Visualization of Particle Interactions in Granular Media
Interaction between particles in so-called granular media, such as soil and sand, plays an important role in the context of geomechanical phenomena and numerous industrial applicat...
Holger A. Meier, Michael Schlemmer, Christian Wagn...
DEDS
2000
83views more  DEDS 2000»
13 years 10 months ago
Synthesis of Discrete-Event Controllers Based on the Signal Environment
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
Hervé Marchand, Patricia Bournai, Michel Le...
BMCBI
2010
223views more  BMCBI 2010»
13 years 5 months ago
MetNetGE: interactive views of biological networks and ontologies
Background: Linking high-throughput experimental data with biological networks is a key step for understanding complex biological systems. Currently, visualization tools for large...
Ming Jia, Suh-Yeon Choi, Dirk Reiners, Eve Syrkin ...
ICSE
2008
IEEE-ACM
14 years 11 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
WWW
2001
ACM
14 years 11 months ago
Communication design for electronic negotiations on the basis of XML schema
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...
Michael Ströbel