Sciweavers

10802 search results - page 335 / 2161
» Generative and developmental systems
Sort
View
ICFP
2005
ACM
16 years 4 months ago
Recursive type generativity
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
Derek Dreyer
131
Voted
ICSE
1999
IEEE-ACM
15 years 9 months ago
Using a Goal-Driven Approach to Generate Test Cases for GUIs
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the ...
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
119
Voted
AAAI
1998
15 years 6 months ago
Generating Coordinated Natural Language and 3D Animations for Complex Spatial Explanations
Dynamically providing students with clear explanations of complex spatial concepts is critical for a broad range of knowledge-based educational and training systems. This calls fo...
Stuart G. Towns, Charles B. Callaway, James C. Les...
140
Voted
AI
2010
Springer
15 years 4 months ago
Automatically generating personalized user interfaces with Supple
Today's computer-human interfaces are typically designed with the assumption that they are going to be used by an able-bodied person, who is using a typical set of input and ...
Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbr...
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 4 months ago
Multiple Timescale Dispatch and Scheduling for Stochastic Reliability in Smart Grids with Wind Generation Integration
Integrating volatile renewable energy resources into the bulk power grid is challenging, due to the reliability requirement that at each instant the load and generation in the syst...
Miao He, Sugumar Murugesan, Junshan Zhang