Sciweavers

3018 search results - page 522 / 604
» Linguistic Knowledge Generator
Sort
View
IJAC
2011
14 years 11 months ago
Bringing the Everyday Life into Engineering Education
— To successfully design and engineer solutions for today’s and tomorrow’s rapidly changing and expanding global contexts, in which people are confronted with new opportuniti...
Gert Pasman, Ingrid Mulder
JMLR
2010
161views more  JMLR 2010»
14 years 11 months ago
Accuracy-Rejection Curves (ARCs) for Comparing Classification Methods with a Reject Option
Data extracted from microarrays are now considered an important source of knowledge about various diseases. Several studies based on microarray data and the use of receiver operat...
Malik Sajjad Ahmed Nadeem, Jean-Daniel Zucker, Bla...
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
14 years 10 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
TNN
2010
205views Management» more  TNN 2010»
14 years 10 months ago
Behavior-constrained support vector machines for fMRI data analysis
Statistical learning methods are emerging as a valuable tool for decoding information from neural imaging data. The noisy signal and the limited number of training patterns that ar...
Danmei Chen, Sheng Li, Zoe Kourtzi, Si Wu
CORR
2011
Springer
162views Education» more  CORR 2011»
14 years 7 months ago
Optimal Power Cost Management Using Stored Energy in Data Centers
Since the electricity bill of a data center constitutes a significant portion of its overall operational costs, reducing this has become important. We investigate cost reduction o...
Rahul Urgaonkar, Bhuvan Urgaonkar, Michael J. Neel...