3901 search results - page 723 / 781 » software 2008 |
107
click to vote
CONCURRENCY
2010
14 years 11 months ago
2010
The cancer Biomedical Informatics Grid (caBIG) is revolutionizing the way medical researchers share information and collaborate. A key to caBIG's continued success will be in...
107
Voted
KDD
2009
ACM
16 years 1 months ago
2009
ACM
: Gaining access to high-quality health data is a vital requirement to informed decision making for medical practitioners and pharmaceutical researchers. Driven by mutual benefits ...
92
Voted
AGI
2008
15 years 2 months ago
2008
The likely advent of AGI and the long-established trend of improving computational hardware promise a dual revolution in coming decades: machines which are both more intelligent an...
89
Voted
FUIN
2008
15 years 18 days ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
106
click to vote
TCS
2008
15 years 14 days ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...