6800 search results - page 643 / 1360 » Testing with Functions as Specifications |
214
Voted
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
Semi-supervised learning plays an important role in the recent literature on machine learning and data mining and the developed semisupervised learning techniques have led to many...
220
Voted
BMCBI
2010
15 years 7 months ago
2010
Background: The importance of stochasticity in cellular processes having low number of molecules has resulted in the development of stochastic models such as chemical master equat...
215
Voted
BMCBI
2007
15 years 7 months ago
2007
Background: To interpret microarray experiments, several ontological analysis tools have been developed. However, current tools are limited to specific organisms. Results: We deve...
228
Voted
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
171
Voted
SIGSOFT
2002
ACM
16 years 8 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...