Sciweavers

4498 search results - page 331 / 900
» How to Invent Functions
Sort
View
CORR
2006
Springer
130views Education» more  CORR 2006»
15 years 6 months ago
On optimal quantization rules for some sequential decision problems
We consider the problem of sequential decentralized detection, a problem that entails several interdependent choices: the choice of a stopping rule (specifying the sample size), a...
XuanLong Nguyen, Martin J. Wainwright, Michael I. ...
CORR
2007
Springer
128views Education» more  CORR 2007»
15 years 6 months ago
Verified Real Number Calculations: A Library for Interval Arithmetic
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
Marc Daumas, David Lester, César Muñ...
139
Voted
MJ
2006
89views more  MJ 2006»
15 years 6 months ago
RTDT: A static QoS manager, RT scheduling, HW/SW partitioning CAD tool
The Hardware (HW)/Software (SW) partitioning/scheduling relies on two subtasks : the cost function and the real time (RT) analysis. Besides these two subtasks, the proposed generi...
Hedi Tmar, Jean-Philippe Diguet, Abdenour Azzedine...
BIOINFORMATICS
2005
140views more  BIOINFORMATICS 2005»
15 years 6 months ago
Profile-based direct kernels for remote homology detection and fold recognition
Motivation: Remote homology detection between protein sequences is a central problem in computational biology. Supervised learning algorithms based on support vector machines are ...
Huzefa Rangwala, George Karypis
148
Voted
TMI
2008
73views more  TMI 2008»
15 years 6 months ago
Tensor-Based Cortical Surface Morphometry via Weighted Spherical Harmonic Representation
Abstract--We present a new tensor-based morphometric framework that quantifies cortical shape variations using a local area element. The local area element is computed from the Rie...
Moo K. Chung, Kim M. Dalton, Richard J. Davidson