Sciweavers

34202 search results - page 288 / 6841
» The Tera computer system
Sort
View
ICFP
2000
ACM
15 years 11 months ago
Intersection types and computational effects
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
Rowan Davies, Frank Pfenning
ICIP
2007
IEEE
15 years 11 months ago
Computer-Aided Grading of Neuroblastic Differentiation: Multi-Resolution and Multi-Classifier Approach
In this paper, the development of a computer-aided system for the classification of grade of neuroblastic differentiation is presented. This automated process is carried out withi...
Jun Kong, Olcay Sertel, Hiroyuki Shimada, Kim L. B...
NIPS
1992
15 years 8 months ago
Silicon Auditory Processors as Computer Peripherals
Several research groups are implementing analog integrated circuit models of biological auditory processing. The outputs of these circuit models have taken several forms, includin...
John Lazzaro, John Wawrzynek, Misha Mahowald, Mass...
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 8 months ago
Computing robustness of FlexRay schedules to uncertainties in design parameters
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov...
AEI
2007
102views more  AEI 2007»
15 years 7 months ago
Incremental development of CBR strategies for computing project cost probabilities
This paper presents three CBR systems that have been developed over seven years in collaboration with two industrial partners. In this research, case based reasoning (CBR) is used...
Benny Raphael, Bernd Domer, Sandro Saitta, Ian F. ...