10997 search results - page 95 / 2200 » On the Structure of Complete Sets |
174
click to vote
IJSI
2008
15 years 6 months ago
2008
In [19], Toyama proved that the union of two confluent term-rewriting systems that share absolutely no function symbols or constants is likewise confluent, a property called modula...
140
click to vote
JAR
2006
15 years 6 months ago
2006
Abstract. As products are growing more complex, so is their documentation. With an increasing number of product options, the diversity in service and maintenance procedures grows a...
128
click to vote
JSYML
2008
15 years 6 months ago
2008
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
129
click to vote
ISJ
1998
15 years 5 months ago
1998
The organizational and social issues associated with the development, implementation and use of computer-based information systems have increasingly attracted the attention of info...
148
click to vote
TKDE
2010
15 years 4 months ago
2010
—Local classifiers are sometimes called lazy learners because they do not train a classifier until presented with a test sample. However, such methods are generally not complet...