6020 search results - page 20 / 1204 » A New Approach to Model Counting |
104
Voted
JCSS
2007
15 years 1 months ago
2007
In this paper we present a new approach to model the effect of virtual channel multiplexing in high-speed interconnection networks. Previous studies have used a method proposed by...
106
click to vote
POPL
2009
ACM
15 years 8 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
78
Voted
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
In this paper a new process modelling method especially for public administrations is presented. With established generic process modelling methods reorganisation projects in this ...
116
click to vote
KDD
1995
ACM
15 years 5 months ago
1995
ACM
We develop,in the context of discriminantanalysis,a generalapproachto the designof neuralarchitectures. It consistsin building a neuralnet ‘around’a statistical model family; ...
149
click to vote
ISNN
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we introduce a new instance-based approach to the label ranking problem. This approach is based on a probability model on rankings which is known as the Mallows mode...