Sciweavers

2304 search results - page 257 / 461
» Natix Visual Interfaces
Sort
View
154
Voted
KBSE
1997
IEEE
15 years 8 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
133
Voted
ITICSE
1997
ACM
15 years 8 months ago
A genetic algorithms tutorial tool for numerical function optimisation
The field of Genetic Algorithms has grown into a huge area over the last few years. Genetic Algorithms are adaptive methods, which can be used to solve search and optimisation pro...
Edmund K. Burke, D. B. Varley
ASSETS
1996
ACM
15 years 8 months ago
Emacspeak - Direct Speech Access
Emacspeak is a full-fledged speech output interface to Emacs, and is being used to provide direct speech access to a UNIX workstation. The kind of speech access provided by Emacsp...
T. V. Raman
CHI
1992
ACM
15 years 8 months ago
Interactive Constraint-Based Search and Replace
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
David Kurlander, Steven Feiner
ANSS
2007
IEEE
15 years 8 months ago
MDL, A Domain-Specific Language for Molecular Dynamics
Molecular Dynamics (MD) involves solving Newton's equations of motion for a molecular system and propagating the system by time-dependent updates of atomic positions and velo...
Trevor M. Cickovski, Chris Sweet, Jesús A. ...