Sciweavers

853 search results - page 101 / 171
» Combining Data and Mathematical Models of Language Change
Sort
View
155
Voted
ESTIMEDIA
2006
Springer
15 years 7 months ago
Loop Nest Splitting for WCET-Optimization and Predictability Improvement
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
Heiko Falk, Martin Schwarzer
117
Voted
CSB
2003
IEEE
135views Bioinformatics» more  CSB 2003»
15 years 9 months ago
Stepping Up the Pace of Discovery: the Genomes to Life Program
Genomes to Life (GTL), the U.S. Department of Energy Office of Science’s systems biology program, focuses on environmental microbiology. Over the next 10 to 20 years, GTL’s ke...
Marvin Frazier, David Thomassen, Aristides Patrino...
141
Voted
ICPR
2006
IEEE
16 years 4 months ago
Detection of presynaptic terminals on dendritic spines in double labeling confocal images
For the analysis of learning processes and the underlying changes of the shape of excitatory synapses (spines), 3-D volume samples of selected dendritic segments are scanned by a ...
Andreas Herzog, Bernd Michaelis, Gerald Krell, Kat...
144
Voted
EDBT
2009
ACM
208views Database» more  EDBT 2009»
15 years 10 months ago
Flexible and efficient querying and ranking on hyperlinked data sources
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this...
Ramakrishna Varadarajan, Vagelis Hristidis, Louiqa...
246
Voted
POPL
2008
ACM
16 years 3 months ago
Relational inductive shape analysis
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
Bor-Yuh Evan Chang, Xavier Rival