1419 search results - page 99 / 284 » A Characterization of Constructive Dimension |
122
click to vote
WCC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we discuss some methods of constructing frequency/time hopping (FH/TH) sequences over GF(pk ) by taking successive k-tuples of given sequences over GF(p). We are abl...
132
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes Mo’K, a configurable workbench that supports the development of conceptual clustering methods for ontology building. Mo’K is intended to assist ontology de...
156
click to vote
ALP
1997
Springer
15 years 8 months ago
1997
Springer
We de ne a perpetual one-step reduction strategy which enables one to construct minimal (w.r.t. Levy's ordering 2 on reductions) in nite reductions in Conditional Orthogonal ...
130
click to vote
TABLEAUX
1995
Springer
15 years 8 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
124
click to vote
AAAI
1996
15 years 5 months ago
1996
This paper investigates the foundation of rnaxipnin, one of the central qualitative decision criteria, using the approach taken by Savage (Savage 1972) to investigate the foundati...