2705 search results - page 509 / 541 » Formal Ontology for Subject |
GECCO
2010
Springer
14 years 14 days ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
IWMM
2010
Springer
14 years 14 days ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
ECSQARU
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
OOPSLA
2009
Springer
14 years 7 days ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...
STOC
1999
ACM
13 years 12 months ago
1999
ACM
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (ϭsize), in both g...