1585 search results - page 77 / 317 » A framework for computer-aided validation |
111
click to vote
LCPC
2009
Springer
15 years 4 months ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
RECOMB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. One of the critical stages in drug development is the identification of potential side effects for promising drug leads. Large scale clinical experiments aimed at discove...
LREC
2010
15 years 1 months ago
2010
This paper presents the Multiword Expression Toolkit (mwetoolkit), an environment for type and language-independent MWE identification from corpora. The mwetoolkit provides a targ...
73
Voted
IJCAI
2007
15 years 1 months ago
2007
There are many systems and techniques that address stochastic scheduling problems, based on distinct and sometimes opposite approaches, especially in terms of how scheduling and s...
104
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...