Sciweavers

31387 search results - page 376 / 6278
» Abstracts
Sort
View
EC
2011
216views ECommerce» more  EC 2011»
14 years 10 months ago
Abandoning Objectives: Evolution Through the Search for Novelty Alone
man and Kenneth O. Stanley (2010). Revising the Evolutionary Computation Abstraction: Minimal Criteria Novelty Search. In: Proceedings of the Genetic and Evolutionary Computation C...
Joel Lehman, Kenneth O. Stanley
110
Voted
WWW
2005
ACM
16 years 7 months ago
Exception handling in workflow-driven Web applications
d abstract) *
Marco Brambilla, Stefano Ceri, Sara Comai, Christi...
FROCOS
2009
Springer
16 years 1 months ago
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs
d abstract) Takahito Aoto† Toshiyuki Yamada‡
Takahito Aoto, Toshiyuki Yamada
145
Voted
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 11 days ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
GRAPHITE
2003
ACM
16 years 3 days ago
A framework for a dynamic interactive 3D GIS for non-expert users
Many substantial geographic information systems (GIS) have been designed for use by expert users. As a result, nonexpert users often find them difficult to use. This paper present...
Arron R. Walker, Binh Pham, Anthony J. Maeder