933 search results - page 85 / 187 » Extending Forward Checking |
95
Voted
IJCAI
1997
15 years 2 months ago
1997
Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a...
118
Voted
AAAI
1996
15 years 2 months ago
1996
Two methods are described for enhancing performance of branch and bound methods for overconstrained CSPS. These methods improve either the upper or lower bound, respectively, duri...
96
Voted
ENTCS
2007
15 years 22 days ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
109
Voted
JSAC
2011
14 years 7 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
108
Voted
WINET
2010
14 years 7 months ago
2010
In this paper, we consider filtering false reports in braided multipath routing sensor networks. While multipath routing provides better resilience to various faults in sensor net...