334 search results - page 60 / 67 » Scaling Internet Research Publication Processes to Internet ... |
149
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
149
click to vote
SEMWEB
2009
Springer
16 years 17 days ago
2009
Springer
To cope with society’s demand for transparency and corruption prevention, the Brazilian Office of the Comptroller General (CGU) has carried out a number of actions, including: aw...
151
click to vote
AIM
1999
15 years 5 months ago
1999
The Journal of Artificial Intelligence Research (JAIR) was one of the first scientific journals distributed over the Web. It has now completed over five years of successful public...
166
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Advances in data collection and storage capacity have made it increasingly possible to collect highly volatile graph data for analysis. Existing graph analysis techniques are not ...
169
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The analysis of gene sets has become a popular topic in recent times, with researchers attempting to improve the interpretability and reproducibility of their microarr...