254 search results - page 35 / 51 » A Demand-Driven Algorithm for Generating Minimal Models |
100
Voted
INFORMS
1998
15 years 6 days ago
1998
The problem of discriminating between two nite point sets in n-dimensional feature space by a separating plane that utilizes as few of the features as possible, is formulated as a...
100
click to vote
APN
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
83
Voted
APN
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
93
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
139
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The Call admission control (CAC) is one of the Radio Resource Management (RRM) techniques that plays influential role in ensuring the desired Quality of Service (QoS) to the users...