Sciweavers

1878 search results - page 21 / 376
» Feature Generation Using General Constructor Functions
Sort
View
CADE
2002
Springer
14 years 8 months ago
Reasoning by Symmetry and Function Ordering in Finite Model Generation
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
Gilles Audemard, Belaid Benhamou
GLVLSI
2009
IEEE
170views VLSI» more  GLVLSI 2009»
13 years 11 months ago
Physical unclonable function and true random number generator: a compact and scalable implementation
Physical Unclonable Functions (PUF) and True Random Number Generators (TRNG) are two very useful components in secure system design. PUFs can be used to extract chip-unique signat...
Abhranil Maiti, Raghunandan Nagesh, Anand Reddy, P...
CG
2011
Springer
12 years 11 months ago
Feature based volumes for implicit intersections
The automatic generation of volumes bounding the intersection of two implicit surfaces (isosurfaces of real functions of 3D point coordinates) or Feature Based Volumes (FBV) is pr...
Oleg Fryazinov, Pierre-Alain Fayolle, Turlif Vilbr...
BMCBI
2006
126views more  BMCBI 2006»
13 years 7 months ago
A Regression-based K nearest neighbor algorithm for gene function prediction from heterogeneous data
Background: As a variety of functional genomic and proteomic techniques become available, there is an increasing need for functional analysis methodologies that integrate heteroge...
Zizhen Yao, Walter L. Ruzzo
ISBI
2007
IEEE
14 years 2 months ago
Multi-Resolution Image Segmentation Using the 2-Point Correlation Functions
Recently, the 2-point correlation functions (2-pcfs) were employed in building feature vectors for histological image segmentation. The 2-pcfs serve as estimators of material dist...
Firdaus Janoos, M. Okan Irfanoglu, Kishore Mosalig...