853 search results - page 156 / 171 » Combining Data and Mathematical Models of Language Change |
ESANN
2008
13 years 8 months ago
2008
Our goal is proposing an unbiased framework for gene expression analysis based on variable selection combined with a significance assessment step. We start by discussing the need ...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
JOT
2008
13 years 7 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
HICSS
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...
VLDB
2005
ACM
14 years 25 days ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...