278 search results - page 31 / 56 » A Framework for Counterexample Generation and Exploration |
104
Voted
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
ACL
2012
13 years 2 months ago
2012
Argo is a web-based NLP and text mining workbench with a convenient graphical user interface for designing and executing processing workflows of various complexity. The workbench...
95
Voted
VIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Visualization is essential for understanding the increasing volumes of digital data. However, the process required to create insightful visualizations is involved and time consumin...
105
Voted
VISUALIZATION
2002
IEEE
15 years 5 months ago
2002
IEEE
We describe a method for volume rendering using a spectral representation of colour instead of the traditional RGB model. It is shown how to use this framework for a novel explora...
99
Voted
AIIDE
2008
15 years 2 months ago
2008
Computer aided interactive drama has been widely applied for entertainment and pedagogy. Most existing approaches for authoring interactive drama use either story-centric or chara...