Sciweavers

1878 search results - page 304 / 376
» Feature Generation Using General Constructor Functions
Sort
View
BMCBI
2010
138views more  BMCBI 2010»
13 years 8 months ago
Amino acid classification based spectrum kernel fusion for protein subnuclear localization
Background: Prediction of protein localization in subnuclear organelles is more challenging than general protein subcelluar localization. There are only three computational models...
Suyu Mei, Wang Fei
JVCIR
2006
127views more  JVCIR 2006»
13 years 7 months ago
Automatic liver segmentation for volume measurement in CT Images
Computed tomography (CT) images have been widely used for diagnosis of liver disease and volume measurement for liver surgery or transplantation. Automatic liver segmentation and ...
Seong-Jae Lim, Yong-Yeon Jeong, Yo-Sung Ho
POPL
2010
ACM
14 years 5 months ago
A Relational Modal Logic for Higher-Order Stateful ADTs
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...
NIPS
1996
13 years 9 months ago
A Model of Recurrent Interactions in Primary Visual Cortex
A general feature of the cerebral cortex is its massive interconnectivity-ithas been estimatedanatomically 15 that cortical neurons receive on the order of 10,000 synapses, the ma...
Emanuel Todorov, Athanassios Siapas, David Somers
IANDC
2007
152views more  IANDC 2007»
13 years 7 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner