Sciweavers

3670 search results - page 92 / 734
» Linear Recursive Functions
Sort
View
140
Voted
FOCS
2007
IEEE
15 years 9 months ago
On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract)
d Abstract) Kousha Etessami LFCS, School of Informatics University of Edinburgh Mihalis Yannakakis Department of Computer Science Columbia University We reexamine what it means to...
Kousha Etessami, Mihalis Yannakakis
125
Voted
EUROPAR
2009
Springer
15 years 10 days ago
Argument Controlled Profiling
Profiling tools relate measurements to code context such as function names in order to guide code optimization. For a more detailed analysis, call path or phase-based profiling enh...
Tilman Küstner, Josef Weidendorfer, Tobias We...
HOA
1993
15 years 6 months ago
Strong Normalization of Typeable Rewrite Systems
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
Steffen van Bakel, Maribel Fernández
IJCNN
2007
IEEE
15 years 8 months ago
A Functional Link Network With Ordered Basis Functions
—A procedure is presented for selecting and ordering the polynomial basis functions in the functional link net (FLN). This procedure, based upon a modified Gram Schmidt orthonorm...
Saurabh Sureka, Michael T. Manry
99
Voted
GECCO
2006
Springer
146views Optimization» more  GECCO 2006»
15 years 6 months ago
Fitness function for finding out robust solutions on time-varying functions
Evolutionary Computations in dynamic/uncertain environments have attracted much attention. Studies regarding this research subjects can be classified into four categories: Noise, ...
Hisashi Handa