1760 search results - page 215 / 352 » A System to Mark Programs Automatically |
141
Voted
DIS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. One of the main goals of Discovery Science is the development and analysis of methods for automatic knowledge discovery in the natural sciences. A central area of natural...
133
Voted
SOFSEM
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
114
Voted
CC
2005
Springer
15 years 9 months ago
2005
Springer
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...
130
Voted
IWMM
2000
Springer
15 years 7 months ago
2000
Springer
The performance of automatic memory management may be improved if the policies used in allocating and collecting objects had knowledge of the lifetimes of objects. To date, approa...
153
Voted
AAAI
2007
15 years 5 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....