762 search results - page 39 / 153 » Conditionally correct superoptimization |
101
Voted
PICS
2000
15 years 1 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 ...
84
Voted
AAAI
1994
15 years 1 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...
88
Voted
AAAI
1994
15 years 1 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 ...
135
click to vote
JAIR
2007
15 years 11 days 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
14 years 11 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...