Sciweavers

9382 search results - page 1523 / 1877
» A Functional Model for Data Analysis
Sort
View
GCB
2004
Springer
101views Biometrics» more  GCB 2004»
16 years 6 days ago
Kleene's Theorem and the Solution of Metabolic Carbon Labeling Systems
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
Nicole Isermann, Michael Weitzel, Wolfgang Wiecher...
POPL
2005
ACM
16 years 7 months ago
Mutatis mutandis: safe and predictable dynamic software updating
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman,...
EDBT
2008
ACM
166views Database» more  EDBT 2008»
16 years 7 months ago
OrthoCluster: a new tool for mining synteny blocks and applications in comparative genomics
By comparing genomes among both closely and distally related species, comparative genomics analysis characterizes structures and functions of different genomes in both conserved a...
Xinghuo Zeng, Matthew J. Nesbitt, Jian Pei, Ke Wan...
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
Usability evaluation of a Volkswagen Group in-vehicle speech system
Driving behavior has been trending towards more time in the car and longer commutes. This has fueled the demand for an increasing number of in-vehicle infotainment features, at th...
Jackie C. Chang, Annie Lien, Brian Lathrop, Holger...
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
16 years 11 days ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
« Prev « First page 1523 / 1877 Last » Next »