Sciweavers

2444 search results - page 365 / 489
» Feature Construction for Back-Propagation
Sort
View
GECCO
1999
Springer
15 years 10 months ago
An Immune System Approach to Scheduling in Changing Environments
This paper describes the application of an arti cial immune system, AIS, model to a scheduling application, in which sudden changes in the scheduling environment require the rap...
Emma Hart, Peter Ross
ICSE
1999
IEEE-ACM
15 years 10 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
ICCV
1998
IEEE
15 years 10 months ago
Hyperbolic "Smoothing" of Shapes
We have been developing a theory of generic 2-D shape based on a reaction-diffusion model from mathematical physics. The description of a shape is derived from the singularities o...
Kaleem Siddiqi, Allen Tannenbaum, Steven W. Zucker
ACCV
1998
Springer
15 years 10 months ago
Learning Multiscale Image Models of 2D Object Classes
This paper isconcerned with learning the canonical gray scalestructure of the images of a classof objects. Structure is defined in terms of the geometry and layout of salientimage...
Benoit Perrin, Narendra Ahuja, Narayan Srinivasa
CBMS
1997
IEEE
15 years 10 months ago
A distributed database on the Internet of 3D models of human pathological organs
We describe a research project for the development of a system for cataloguing, retrieval and interactive manipulation of 30 models of pathological human organs from a distributed...
M. Crudele, Gordon Clapworthy, Meleagros A. Krokos...