1403 search results - page 110 / 281 » Quantitative Interprocedural Analysis |
115
Voted
ISBI
2008
IEEE
15 years 7 months ago
2008
IEEE
Functional magnetic resonance imaging (fMRI) and electroencephalography (EEG) provide complementary information about the brain function. We propose a novel scheme to examine asso...
98
Voted
EMMCVPR
2005
Springer
15 years 6 months ago
2005
Springer
We propose a novel technique based on spherical splines for brain surface representation and analysis. This research is strongly inspired by the fact that, for brain surfaces, it i...
100
click to vote
ISER
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
97
Voted
CANDT
2009
15 years 4 months ago
2009
We present findings from our study of a music sharing and remixing community in an effort to quantify and understand the structural characteristics of commons-based peer productio...
140
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 2 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...