Sciweavers

1288 search results - page 37 / 258
» visual 2005
Sort
View
ICCS
2005
Springer
16 years 11 days 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»
16 years 12 days 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
16 years 13 days 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
16 years 14 days 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...
202
Voted
VISUALIZATION
2005
IEEE
16 years 12 days 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