3954 search results - page 22 / 791 » Image-based Model Completion |
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
107
click to vote
CONCUR
2008
Springer
15 years 1 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
117
click to vote
FMSD
2002
14 years 11 months ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
NN
2010
Springer
14 years 10 months ago
2010
Springer
— This paper proposes a neural network model capable of completing partly occluded contours. The model is a hierarchical multi-layered network. Using the responses of bend-extrac...