Sciweavers

10899 search results - page 429 / 2180
» The GP Programming System
Sort
View
145
Voted
HICSS
2008
IEEE
122views Biometrics» more  HICSS 2008»
16 years 1 months ago
Pedagogy and Overview of a Graduate Program in Digital Investigation Management
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...
Gary C. Kessler, Don Haggerty
161
Voted
MFCS
2007
Springer
16 years 1 months ago
Properties Complementary to Program Self-reference
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...
John Case, Samuel E. Moelius
PPPJ
2006
ACM
16 years 25 days ago
Dynamic analysis of program concepts in Java
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
Jeremy Singer, Chris C. Kirkham
XIMEP
2006
ACM
161views Database» more  XIMEP 2006»
16 years 24 days ago
Programming with XQuery
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...
Donald D. Chamberlin, Michael J. Carey, Daniela Fl...
PADL
2005
Springer
16 years 11 days ago
Character-Based Cladistics and Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
Daniel R. Brooks, Esra Erdem, James W. Minett, Don...