4485 search results - page 289 / 897 » Equivalences on Observable Processes |
139
click to vote
JUCS
2010
15 years 3 months ago
2010
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
119
Voted
SIGMETRICS
2010
ACM
15 years 3 months ago
2010
ACM
We establish heavy-traffic limits for nearly deterministic queues, such as the G/D/n many-server queue. Since waiting times before starting service in the G/D/n queue are equivale...
145
click to vote
ACL
2009
15 years 2 months ago
2009
This paper presents a model for summarizing multiple untranscribed spoken documents. Without assuming the availability of transcripts, the model modifies a recently proposed unsup...
167
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In a probabilistic cellular automaton (PCA), the cells are updated synchronously and independently, according to a distribution depending on a finite neighborhood. A PCA can be vi...
125
Voted
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...