1611 search results - page 80 / 323 » A Library for Self-Adjusting Computation |
143
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We present and analyse a Monte-Carlo algorithm to compute the minimal polynomial of an n × n matrix over a finite field that requires O(n3 ) field operations and O(n) random v...
141
click to vote
WSCG
2004
15 years 6 months ago
2004
The paper specifies modular software for synchronous and asynchronous computer-mediated communication and visualization in network-distributed environments. It is new because the ...
152
click to vote
CCE
2005
15 years 4 months ago
2005
A general method to design optimal redundant sensor network even in the case of one sensor failure and able to estimate process key parameters within a required accuracy is propos...
529
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...