3630 search results - page 39 / 726 » How to Compare Treebanks |
HVC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
ICCAD
2006
IEEE
15 years 3 months ago
2006
IEEE
CMOS-MEMS integration can improve the performance of the MEMS (micro-electromechanical systems), allows for smaller packages and leads to a lower packaging and instrumentation cos...
IWPC
2006
IEEE
15 years 3 months ago
2006
IEEE
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...
MINENET
2006
ACM
15 years 3 months ago
2006
ACM
We describe an on-line service, and its underlying methodology, designed to extract BGP peerings from the Internet Routing Registry. Both the method and the service are based on: ...
ECAL
2003
Springer
15 years 3 months ago
2003
Springer
Coevolutionary optimisation suffers from a series of problems that interfere with the progressive escalating arms races that are hoped might solve difficult classes of optimisatio...