3136 search results - page 267 / 628 » Genetic programming theory |
168
click to vote
IJPP
2007
15 years 5 months ago
2007
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
129
click to vote
HICSS
2008
IEEE
16 years 9 days ago
2008
IEEE
Although still a relatively new undergraduate course of study at most colleges and universities, specialized degree programs in computer forensics and digital investigations are n...
143
click to vote
MFCS
2007
Springer
16 years 4 hour ago
2007
Springer
In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt). In a programming system in which krt h...
159
click to vote
ICTAI
2006
IEEE
15 years 12 months ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
158
click to vote
TPHOL
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...