2826 search results - page 142 / 566 » A resource-based analysis of IT sourcing |
109
click to vote
MICCAI
2005
Springer
16 years 2 months ago
2005
Springer
Analyses of fMRI brain data are often based on statistical tests applied to each voxel or use summary statistics within a region of interest (such as mean or peak activation). Thes...
149
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
101
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
156
click to vote
SLS
2009
Springer
15 years 8 months ago
2009
Springer
Ant Colony Optimization (ACO) is inspired by the ability of ant colonies to find shortest paths between their nest and a food source. We analyze the running time of different ACO...
118
Voted
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Biological clock, a self sustaining oscillation widely discovered in many species, is important to determine many biological activities, for example, the sleep-wake cycl...