10271 search results - page 441 / 2055 » Computer Science |
212
Voted
CCA
2009
Springer
15 years 9 months ago
2009
Springer
Interval computations estimate the uncertainty of the result of data processing in situations in which we only know the upper bounds ∆ on the measurement errors. In this case, ba...
164
Voted
Presentation
This presentation was given as part of theory seminars @ Dept of CSA, Indian Institute of Science, Bangalore. This talk explains about assignment problem and why mechanism design i...
548
click to vote
Lab
MITK stands for Medical Imaging ToolKit. It is a C++ library for integrated medical image processing and analyzing developed by the Medical Image Processing Group (guided by Dr. Ti...
128
click to vote
CE
2008
15 years 5 months ago
2008
The work aims to improve the assessment of creative problem-solving in science education by employing language technologies and computational
146
Voted
CAAP
1990
15 years 9 months ago
1990
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...