Sciweavers

3618 search results - page 34 / 724
» Additive functions for number systems in function fields
Sort
View
POPL
2008
ACM
14 years 8 months ago
Automatic inference of stationary fields: a generalization of java's final fields
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
Christopher Unkel, Monica S. Lam
PRICAI
2004
Springer
14 years 28 days ago
Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
Susumu Katayama
CGF
2010
146views more  CGF 2010»
13 years 7 months ago
Pathline: A Tool For Comparative Functional Genomics
Biologists pioneering the new field of comparative functional genomics attempt to infer the mechanisms of gene regulation by looking for similarities and differences of gene activ...
Miriah D. Meyer, Bang Wong, Mark P. Styczynski, Ta...
ATS
2003
IEEE
151views Hardware» more  ATS 2003»
14 years 27 days ago
BDD Based Synthesis of Symmetric Functions with Full Path-Delay Fault Testability
A new technique for synthesizing totally symmetric Boolean functions is presented that achieves complete robust path delay fault testability. We apply BDDs for the synthesis of sy...
Junhao Shi, Görschwin Fey, Rolf Drechsler
ICTAI
2002
IEEE
14 years 15 days ago
Function Approximation Using Robust Wavelet Neural Networks
Wavelet neural networks (WNN) have recently attracted great interest, because of their advantages over radial basis function networks (RBFN) as they are universal approximators bu...
Sheng-Tun Li, Shu-Ching Chen