Sciweavers

2409 search results - page 136 / 482
» On Extended Regular Expressions
Sort
View
ENTCS
2010
75views more  ENTCS 2010»
15 years 4 months ago
A Lightweight Approach to Customizable Composition Operators for Java-like Classes
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
Giovanni Lagorio, Marco Servetto, Elena Zucca
SEKE
2007
Springer
15 years 10 months ago
Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...
Navin Viswanath, Rajshekhar Sunderraman
GECCO
2000
Springer
117views Optimization» more  GECCO 2000»
15 years 8 months ago
Exact Schema Theorem and Effective Fitness for GP with One-Point Crossover
This paper extends recent results in the GP schema theory by formulating a proper exact schema theorem for GP with one-point crossover. This gives an exact expression for the expe...
Riccardo Poli
148
Voted
BMCBI
2008
127views more  BMCBI 2008»
15 years 4 months ago
Gene and pathway identification with Lp penalized Bayesian logistic regression
Background: Identifying genes and pathways associated with diseases such as cancer has been a subject of considerable research in recent years in the area of bioinformatics and co...
Zhenqiu Liu, Ronald B. Gartenhaus, Ming Tan, Feng ...
VL
1999
IEEE
120views Visual Languages» more  VL 1999»
15 years 8 months ago
Formalizing Spider Diagrams
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
Joseph Gil, John Howse, Stuart Kent