Sciweavers

1827 search results - page 245 / 366
» Interactive Implementation of Optimal Simulation Experiment ...
Sort
View
PLDI
1995
ACM
13 years 11 months ago
A Type-Based Compiler for Standard ML
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
Zhong Shao, Andrew W. Appel
CHI
2008
ACM
14 years 8 months ago
K-sketch: a 'kinetic' sketch pad for novice animators
Because most animation tools are complex and timeconsuming to learn and use, most animations today are created by experts. To help novices create a wide range of animations quickl...
Richard C. Davis, Brien Colwell, James A. Landay
GECCO
2003
Springer
165views Optimization» more  GECCO 2003»
14 years 1 months ago
An Evolutionary Approach for Molecular Docking
We have developed an evolutionary approach for the flexible docking that is now an important component of a rational drug design. This automatic docking tool, referred to as the G...
Jinn-Moon Yang
COMPSAC
2009
IEEE
14 years 3 months ago
An Integrated Framework for Checking Concurrency-Related Programming Errors
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
Qichang Chen, Liqiang Wang
EWSA
2006
Springer
13 years 12 months ago
Automating the Building of Software Component Architectures
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
Nicolas Desnos, Sylvain Vauttier, Christelle Urtad...