Sciweavers

303 search results - page 22 / 61
» No task left behind
Sort
View
CODES
2000
IEEE
14 years 2 days ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
EUROGP
1999
Springer
166views Optimization» more  EUROGP 1999»
13 years 12 months ago
Adapting the Fitness Function in GP for Data Mining
In this paper we describe how the Stepwise Adaptation of Weights (saw) technique can be applied in genetic programming. The saw-ing mechanism has been originally developed for and ...
Jeroen Eggermont, A. E. Eiben, Jano I. van Hemert
3DPVT
2006
IEEE
216views Visualization» more  3DPVT 2006»
13 years 11 months ago
Object Modeling with Guaranteed Fulfillment of Geometric Constraints
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...
Da-Chuan Cheng, Xiaoyi Jiang
CASCON
1997
131views Education» more  CASCON 1997»
13 years 9 months ago
Agent augmented community-information: the ACORN architecture
The ACORN architecture is a multi-agent based system deployed across networks which provides a means for augmenting community-based systems of communication between people. In the...
Stephen Marsh, Youssef Masrour
ACL
1989
13 years 8 months ago
Parsing as Natural Deduction
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...
Esther König