15155 search results - page 2446 / 3031 » System Software |
257
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
229
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
237
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
190
click to vote
SAC
2004
ACM
16 years 18 days ago
2004
ACM
Web cache replacement algorithms have received a lot of attention during the past years. Though none of the proposed algorithms deals efficiently with all the particularities of t...
190
click to vote
CLEF
2009
Springer
15 years 8 months ago
2009
Springer
At CLEF 2009 the University of Hildesheim focused on the main task of the Intellectual Property Track which aims at finding prior art for a specified patent [cf. Information Retri...