2025 search results - page 26 / 405 » On the Utility of Inference Mechanisms |
APLAS
2010
ACM
13 years 9 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Ontologies constitute a pertinent mean to define and to manage competencies and knowledge in companies. The powerful inference mechanisms coming with ontologies allow imp...
WCE
2007
13 years 10 months ago
2007
—In our paper, we are utilizing the cellular wireless network with high reliability using fixed relay nodes. The size and scope of wireless networks continue to grow with more cl...
ISIPTA
2005
IEEE
14 years 2 months ago
2005
IEEE
Graph-theoretical representations for sets of probability measures (credal networks) generally display high complexity, and approximate inference seems to be a natural solution fo...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper analyzes and designs medium access control (MAC) protocols for wireless ad-hoc networks through the network utility maximization (NUM) framework. We first reverse-e...