762 search results - page 39 / 153 » Conditionally correct superoptimization |
PICS
2000
13 years 11 months ago
2000
Color appearance models provide a powerful tool for achieving a viewing condition independent color representation. However, current color appearance models such as CIECAM97s 1,2 ...
AAAI
1994
13 years 11 months ago
1994
An approach to nonmonotonic inference, based on preference orderings between possible worlds or states of affairs, is presented. We begin with an extant weak theory of default con...
AAAI
1994
13 years 11 months ago
1994
Bounded response time is an important requirement when rule-based expert systems are used in real-time applications. In the case the rule-based system cannot terminate in bounded ...
JAIR
2007
13 years 10 months ago
2007
We report on a successful experiment of computeraided theorem discovery in the area of logic programming with answer set semantics. Specifically, with the help of computers, we d...
ICMLC
2010
Springer
13 years 8 months ago
2010
Springer
: Cluster size insensitive FCM (csiFCM) dynamically adjusts the membership value of each object based on the size of the cluster to which it is assigned after defuzzification to re...