Sciweavers

3863 search results - page 119 / 773
» Function in Device Representation
Sort
View
138
Voted
TCAD
2002
121views more  TCAD 2002»
15 years 3 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
105
Voted
CG
1998
Springer
15 years 8 months ago
From Simple Features to Sophisticated Evaluation Functions
This paper discusses a practical framework for the semi automatic construction of evaluation functions for games. Based on a structured evaluation function representation, a proced...
Michael Buro
120
Voted
VISUALIZATION
1993
IEEE
15 years 7 months ago
HyperSlice - Visualization of Scalar Functions of Many Variables
HyperSlice is a new method for the visualization of scalar functions of many variables. With this method the multi-dimensional function is presented in a simple and easy to unders...
Jarke J. van Wijk, Robert van Liere
130
Voted
CEC
2007
IEEE
15 years 10 months ago
Non-separable fitness functions for evolutionary shape optimization benchmarking
—Target shape matching can be used as a quick and easy surrogate task when evaluating optimization algorithms intended for computationally expensive tasks, such as turbine blade ...
Tim A. Yates, Thorsten Schnier
127
Voted
ATAL
2010
Springer
15 years 4 months ago
Developing high-level cognitive functions for service robots
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
Xiaoping Chen, Jianmin Ji, Jiehui Jiang, Guoqiang ...