4355 search results - page 364 / 871 » Increasing Kolmogorov Complexity |
169
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
194
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Ensemble pruning is concerned with the reduction of the size of an ensemble prior to its combination. Its purpose is to reduce the space and time complexity of the ensemble and/or ...
163
Voted
NAACL
2010
15 years 4 months ago
2010
With the increase in popularity of online review sites comes a corresponding need for tools capable of extracting the information most important to the user from the plain text da...
225
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
It is well known that software evolution is an inescapable activity in the software lifecycle. In order to prevent the negative effects of this activity (decreased quality, increa...
177
Voted
USS
2010
15 years 4 months ago
2010
Capsicum is a lightweight operating system capability and sandbox framework planned for inclusion in FreeBSD 9. Capsicum extends, rather than replaces, UNIX APIs, providing new ke...