Sciweavers

1403 search results - page 71 / 281
» Quantitative Interprocedural Analysis
Sort
View
90
Voted
GPEM
2008
116views more  GPEM 2008»
15 years 6 days ago
An Eigen analysis of the GP community
The coauthorship and coeditorship relations as recorded in the genetic programming bibliography provide a quantitative view of the GP community. Eigen analysis is used to find the ...
William B. Langdon, Riccardo Poli, Wolfgang Banzha...
124
Voted
PCM
2004
Springer
106views Multimedia» more  PCM 2004»
15 years 6 months ago
Analysis and Synthesis of Latin Dance Using Motion Capture Data
This paper presents an analysis of natural movement in Latin dance and a synthesis of dance motions making use of the outcome. The isolation movement of shoulders and hips in Latin...
Noriko Nagata, Kazutaka Okumoto, Daisuke Iwai, Fel...
78
Voted
ENTCS
2008
89views more  ENTCS 2008»
15 years 22 days ago
Relational Analysis and Precision via Probabilistic Abstract Interpretation
istic Abstract Interpretation Alessandra Di Pierro1 Pascal Sotin2 Herbert Wiklicky3 Within the context of a quantitative generalisation of the well established framework of Abstra...
Alessandra Di Pierro, Pascal Sotin, Herbert Wiklic...
SCAM
2003
IEEE
15 years 6 months ago
Managing Multi-Billion Dollar IT Budgets using Source Code Analysis
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...
Chris Verhoef
MBEES
2010
15 years 2 months ago
ProMoSA - Probabilistic Models for Safety Analysis
: Das Ziel des ProMoSA Vorhabens st die Entwicklung eines durchgehend modell-basierten Ansatzes zur Sicherheitsanalyse. Dabei sollen sowohl quantitative als auch qualitative Aspekt...
Frank Ortmeier, Matthias Güdemann