Sciweavers

626 search results - page 21 / 126
» When Can Formal Methods Make a Real Difference
Sort
View
BMCBI
2005
169views more  BMCBI 2005»
13 years 7 months ago
An adaptive method for cDNA microarray normalization
Background: Normalization is a critical step in analysis of gene expression profiles. For duallabeled arrays, global normalization assumes that the majority of the genes on the ar...
Yingdong Zhao, Ming-Chung Li, Richard Simon
KDD
2005
ACM
109views Data Mining» more  KDD 2005»
14 years 8 months ago
Overcoming Incomplete User Models in Recommendation Systems Via an Ontology
Abstract. To make accurate recommendations, recommendation systems currently require more data about a customer than is usually available. We conjecture that the weaknesses are due...
Vincent Schickel-Zuber, Boi Faltings
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
13 years 11 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
GECCO
2000
Springer
138views Optimization» more  GECCO 2000»
13 years 11 months ago
Domain Knowledge and Representation in Genetic Algorithms for Real World Scheduling Problems
This paper discusses the issues that arise in the design and implementation of an industrialstrength evolutionary-based system for the optimization of the monthly work schedules f...
Ioannis T. Christou, Armand Zakarian
ICML
2003
IEEE
14 years 8 months ago
Finding Underlying Connections: A Fast Graph-Based Method for Link Analysis and Collaboration Queries
Many techniques in the social sciences and graph theory deal with the problem of examining and analyzing patterns found in the underlying structure and associations of a group of ...
Jeremy Kubica, Andrew W. Moore, David Cohn, Jeff G...