Sciweavers

2674 search results - page 41 / 535
» Implementation issues for an interactive evolutionary comput...
Sort
View
ILP
2000
Springer
14 years 3 days ago
Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
Floriana Esposito, Donato Malerba, Francesca A. Li...
CORR
2008
Springer
111views Education» more  CORR 2008»
13 years 8 months ago
Computational Models of Spreadsheet Development: Basis for Educational Approaches
Among the multiple causes of high error rates in spreadsheets, lack of proper training and of deep understanding of the computational model upon which spreadsheet computations res...
Karin Hodnigg, Markus Clermont, Roland T. Mitterme...
AAMAS
2010
Springer
13 years 8 months ago
Evolutionary mechanism design: a review
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...
Steve Phelps, Peter McBurney, Simon Parsons
ARTS
1999
Springer
14 years 24 days ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
CHI
2009
ACM
14 years 9 months ago
FacetLens: exposing trends and relationships to support sensemaking within faceted datasets
Previous research has shown that faceted browsing is effective and enjoyable in searching and browsing large collections of data. In this work, we explore the efficacy of interact...
Bongshin Lee, Greg Smith, George G. Robertson, Mar...