Sciweavers

3395 search results - page 371 / 679
» Designs, Disputes and Strategies
Sort
View
EUROGP
2001
Springer
15 years 11 months ago
A GP Artificial Ant for Image Processing: Preliminary Experiments with EASEA
This paper describes how animat-based “food foraging” techniques may be applied to the design of low-level image processing algorithms. First, we show how we implemented the fo...
Enzo Bolis, Christian Zerbi, Pierre Collet, Jean L...
LPAR
2001
Springer
15 years 11 months ago
A Computer Environment for Writing Ordinary Mathematical Proofs
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
David McMath, Marianna Rozenfeld, Richard Sommer
NIME
2001
Springer
126views Music» more  NIME 2001»
15 years 11 months ago
Problems and Prospects for Intimate Musical Control of Computers
In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled w...
David Wessel, Matthew Wright
HICSS
2000
IEEE
147views Biometrics» more  HICSS 2000»
15 years 11 months ago
Persistence and Lurkers in Discussion Lists: A Pilot Study
In email-based discussion lists (DLs), messages resident in archives, email clients and elsewhere are persistent. One way of examining persistent messages is through the eyes of l...
Blair Nonnecke, Jennifer Preece
HICSS
2000
IEEE
99views Biometrics» more  HICSS 2000»
15 years 11 months ago
Selecting a Model Interchange Format: The SPOOL Case Study
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
Guy Saint-Denis, Reinhard Schauer, Rudolf K. Kelle...