Sciweavers

3575 search results - page 182 / 715
» Presentations of computably enumerable reals
Sort
View
ITS
2010
Springer
157views Multimedia» more  ITS 2010»
15 years 11 months ago
A Computational Model of Accelerated Future Learning through Feature Recognition
Accelerated future learning, in which learning proceeds more effectively and more rapidly because of prior learning, is considered to be one of the most interesting measures of ro...
Nan Li, William W. Cohen, Kenneth R. Koedinger
EUROCRYPT
2008
Springer
15 years 8 months ago
New Constructions for UC Secure Computation Using Tamper-Proof Hardware
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
Nishanth Chandran, Vipul Goyal, Amit Sahai
TMI
2008
91views more  TMI 2008»
15 years 6 months ago
MRI-Based Automated Computer Classification of Probable AD Versus Normal Controls
Automated computer classification (ACC) techniques are needed to facilitate physician's diagnosis of complex diseases in individual patients. We provide an example of ACC usin...
Simon Duchesne, A. Caroli, C. Geroldi, Christian B...
RTAS
2003
IEEE
15 years 11 months ago
Kernel Support for Open QoS-Aware Computing
Most research on QoS-aware computing considers systems where code is generally partitioned into separately schedulable tasks with associated timing constraints. In sharp contrast ...
Ronghua Zhang, Tarek F. Abdelzaher, John A. Stanko...
ESWA
2008
123views more  ESWA 2008»
15 years 5 months ago
Computing context-dependent temporal diagnosis in complex domains
Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based...
José M. Juárez, Manuel Campos, Jos&e...