2540 search results - page 201 / 508 » Abstract Logics as Dialgebras |
145
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Many learning methods ignore domain knowledge in synthesis of concept approximation. We propose to use hierarchical schemes for learning approximations of complex concept...
208
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...
146
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...
155
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract - A comprehensive study of ultra high-speed currentmode logic (CML) buffers and regenerative CML latches will be illustrated. A new design procedure to systematically desi...
179
click to vote
DALT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...