3053 search results - page 394 / 611 » A Logic of Abstract Argumentation |
168
click to vote
KI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
146
click to vote
RSCTC
2004
Springer
16 years 1 days 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...
212
click to vote
RSCTC
2004
Springer
16 years 1 days 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
16 years 1 days 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 ...
157
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...