1028 search results - page 116 / 206 » Reliability Analysis using Graphical Duration Models |
130
click to vote
SOSYM
2010
15 years 26 days ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
148
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
126
click to vote
CRV
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
121
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we present an efficient procedure for building a piecewise linear function approximation of the speed function of a processor with hierarchical memory structure. Th...
132
Voted
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
Configurations of dense locally parallel 3D curves occur in medical imaging, computer vision and graphics. Examples include white matter fibre tracts, textures, fur and hair. We d...