48 search results - page 4 / 10 » Decision Procedures for the Grand Challenge |
77
Voted
IIE
2008
14 years 9 months ago
2008
One of the biggest challenges that higher learning institutions face today is to improve the quality of managerial decisions. The managerial decision making process becomes more co...
99
Voted
WSC
2004
14 years 11 months ago
2004
Nowadays, in a hotly competitive environment, companies are continuously trying to provide products and/or services to customers faster, cheaper, and better than the competitors d...
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we improve the performance of intra prediction and simplify mode decision procedure at the same time. For these works, we apply a statistical learning method such a...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
TABLEAUX
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...