Sciweavers

1288 search results - page 37 / 258
» visualization 2005
Sort
View
ICCS
2005
Springer
14 years 1 months ago
A Visual Interactive Framework for Formal Derivation
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
Paul Agron, Leo Bachmair, Frank Nielsen
VL
2005
IEEE
103views Visual Languages» more  VL 2005»
14 years 1 months ago
EAVis: A Visualization Tool for Evolutionary Algorithms
Evolutionary algorithms (EAs) produce a vast amount of data by recurring processes, e.g., selection, recombination, or mutation, that work on populations of solutions for a speci...
Andreas Kerren, Thomas Egger
ICSM
2005
IEEE
14 years 1 months ago
The Intensional View Environment
This paper presents IntensiVE, a tool suite implemented in Cincom VisualWorks Smalltalk that allows for the documentation and co-evolution of high-level structural regularities in...
Kim Mens, Andy Kellens, Frédéric Plu...
ENC
2005
IEEE
14 years 1 months ago
Using Alloy to model-check visual design notations
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
Anthony J. H. Simons, Carlos Alberto Fernán...
VISUALIZATION
2005
IEEE
14 years 1 months ago
Hardware-Accelerated 3D Visualization of Mass Spectrometry Data
We present a system for three-dimensional visualization of complex Liquid Chromatography - Mass Spectrometry (LCMS) data. Every LCMS data point has three attributes: time, mass, a...
Jose De Corral, Hanspeter Pfister