6554 search results - page 926 / 1311 » Constraint Logic Programming |
141
click to vote
FSKD
2005
Springer
15 years 11 months ago
2005
Springer
A new robust clustering scheme based on fuzzy c-means is proposed and the concept of a fuzzy mega-cluster is introduced in this paper. The fuzzy mega-cluster is conceptually simila...
163
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
Re-engineering transforms a final user interface into a logical representation that is manipulable enough to allow forward engineering to port a UI from one computing platform to ...
172
Voted
CADE
2004
Springer
15 years 11 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
165
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
148
click to vote
RSCTC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper focuses on the use and interpretation of approximate databases where both rough sets and indiscernibility partitions are generalized and replaced by approximat...