345 search results - page 34 / 69 » Quantitative analysis of static models of processes |
124
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
We propose a novel statistical manifold modeling approach that is capable of classifying poses of object categories from video sequences by simultaneously minimizing the intra-cla...
109
click to vote
EUROPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
IANDC
2008
14 years 11 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
100
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Many biological networks such as protein-protein interaction networks, signaling networks, and metabolic networks have topological characteristics of a scale-free degr...
121
click to vote
MICCAI
2009
Springer
15 years 4 months ago
2009
Springer
Real-time three-dimensional (RT3D) echocardiography is the newest generation of three-dimensional (3-D) echocardiography. Segmentation of RT3D echocardiographic images is essential...