13827 search results - page 2502 / 2766 » The state of artificial intelligence |
195
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
210
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Many spatial phenomena exhibit vagueness. Representation of such phenomena requires vague objects. In previous work, we provided definitions for vague objects: vague p...
174
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— The type-2 Fuzzy Logic Controller (FLC) has started to emerge as a promising control mechanism for autonomous mobile robots navigating in real world environments. This is becau...
173
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recently several algorithms for clustering large data sets or streaming data sets have been proposed. Most of them address the crisp case of clustering, which cannot be easily ...
195
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
—In the past, we proposed a genetic-fuzzy data-mining algorithm for extracting both association rules and membership functions from quantitative transactions under a single minim...