Sciweavers

706 search results - page 17 / 142
» An Experimental Study on Computer Programming with Linguisti...
Sort
View
104
Voted
ICPR
2008
IEEE
15 years 11 months ago
Learning invariant region descriptor operators with genetic programming and the F-measure
Recognizing and localizing objects is a classical problem in computer vision that is an important stage for many automated systems. In order to perform object recognition many res...
Cynthia B. Pérez, Gustavo Olague
BMCBI
2007
176views more  BMCBI 2007»
14 years 9 months ago
Genome Expression Pathway Analysis Tool - Analysis and visualization of microarray gene expression data under genomic, proteomic
Background: Regulation of gene expression is relevant to many areas of biology and medicine, in the study of treatments, diseases, and developmental stages. Microarrays can be use...
Markus Weniger, Julia C. Engelmann, Jörg Schu...
SAC
2004
ACM
15 years 3 months ago
Aspect Oriented Programming for a component-based real life application: a case study
Aspect Oriented Programming, a relatively new programming paradigm, earned the scientific community’s attention. The paradigm is already evaluated for traditional OOP and compo...
Odysseas Papapetrou, George A. Papadopoulos
ACSC
2004
IEEE
15 years 1 months ago
Self-Replicating Expressions in the Lambda Calculus
The study of self-replicating structures in Computer Science has been taking place for more than half a century, motivated by the desire to understand the fundamental principles a...
James Larkin, Phil Stocks
ACL2
2006
ACM
15 years 3 months ago
Soundness of the simply typed lambda calculus in ACL2
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
Sol Swords, William R. Cook