7961 search results - page 236 / 1593 » Input-Output Model Programs |
130
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...
119
click to vote
IFIP
1997
Springer
15 years 7 months ago
1997
Springer
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....
116
click to vote
JAPLL
2006
15 years 3 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
106
click to vote
INFORMS
1998
15 years 3 months ago
1998
stracts of Integer Programming Course By Vinodhshankar Balasubramanian An Efficient Algorithm for Solving an Air Traffic Management Model of the National Airspace System (NAS) – ...
166
Voted
EUROGP
2009
Springer
15 years 10 months ago
2009
Springer
One-class classification naturally only provides one-class of exemplars, the target class, from which to construct the classification model. The one-class approach is constructed...