Sciweavers

1740 search results - page 289 / 348
» A Digital Archive of Research Papers in Computer Science
Sort
View
IMSCCS
2006
IEEE
15 years 7 months ago
Estimation Of Cross-Hybridization Signals Using Support Vector Regression
Microarray technology is a powerful biotechnology tool which allows researchers to simultaneously evaluate the expression of thousands of genes, if not the entire expressed genome...
Yijun Sun, Li Liu, Mick Popp, William G. Farmerie
ISORC
2005
IEEE
15 years 7 months ago
Placement Solutions for Multiple Versions of A Multimedia Object
Transcoding is an important technology which adapts the same multimedia object to diverse mobile appliances; thus, users’ requests for a specified version of a multimedia objec...
Keqiu Li, Hong Shen, Francis Y. L. Chin
GECCO
2005
Springer
129views Optimization» more  GECCO 2005»
15 years 7 months ago
Optimization of passenger car design for the mitigation of pedestrian head injury using a genetic algorithm
The problem of pedestrian injury is a significant one throughout the world. In 2001, there were 4724 pedestrian fatalities in Europe and 4882 in the US. Significant advances have ...
Emma Carter, Steve Ebdon, Clive Neal-Sturgess
LICS
2003
IEEE
15 years 6 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
KR
2010
Springer
15 years 6 months ago
The Temporal Logic of Token Causes
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...
Samantha Kleinberg, Bud Mishra