43264 search results - page 217 / 8653 » Comparing models of computation |
114
click to vote
ANOR
2002
15 years 3 months ago
2002
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
105
Voted
INFORMATICALT
2002
15 years 3 months ago
2002
Abstract. Five methods for count data clusterization based on Poisson mixture models are described. Two of them are parametric, the others are semi-parametric. The methods emlploy ...
107
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—We present a comparative analysis of the behavioral dynamics of rural and urban societies using four years
116
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
94
Voted
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
We propose a method to minimize power dissipation in current-mode CMOS analog and multiple-valued logic (MVL) circuits employing a stack of current comparators. First, we present ...