5718 search results - page 203 / 1144 » Modeling Rule Precision |
171
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
155
click to vote
SPIESR
2003
15 years 7 months ago
2003
In this paper, we present an approach to extract scenes in video. The approach is top-down and uses video editing rules and audio cues to extract simple dialog and action scenes. ...
154
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we study a maximum likelihood estimation (MLE) approach to preference aggregation and voting when the set of alternatives has a multi-issue structure, and the voter...
165
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
196
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...