2393 search results - page 18 / 479 » Fuzzy-UCS: preliminary results |
AAAI
2000
14 years 10 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
DLOG
1996
14 years 10 months ago
1996
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...
IEEEARES
2008
IEEE
15 years 3 months ago
2008
IEEE
In this work, AdaBoost and C4.5, are employed for classifying Skype direct (UDP and TCP) communications from traffic log files. Pre-processing is applied to the traffic data to ex...
SAT
2004
Springer
15 years 2 months ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
HAPTICS
2003
IEEE
15 years 2 months ago
2003
IEEE
Haptic rendering complex objects in virtual environments is computationally intensive. In this paper we start the investigation of a new category of approach to reducing the compu...