11328 search results - page 47 / 2266 » Timed Branching Processes |
134
click to vote
CVPR
2001
IEEE
16 years 4 months ago
2001
IEEE
This paper presents a novel processing scheme for the automatic computation of a medial shape model which is representative for an object population with shape variability. The se...
INFSOF
2006
15 years 1 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
117
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Abstract-- The design of application-specific instruction set processor (ASIP) system includes at least three interdependent tasks: microarchitecture design, instruction set design...
109
click to vote
TIME
2005
IEEE
15 years 7 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
116
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...