6833 search results - page 52 / 1367 » Some two-character sets |
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, an editing algorithm based on the projection of the examples in each dimension is presented. The algorithm, that we have called EOP (Editing by Ordered Projection) h...
ICAD
2004
15 years 1 months ago
2004
Previous work on the production and test of various sonifications has shown that adding a sonification to an interface can assist the execution of a variety of operator tasks [1,2...
109
click to vote
MKM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
124
click to vote
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
Groups of collaborative agents need to create group beliefs (acceptances) in order to act as a single entity. The notion of mutual or collective belief, which has been used extensi...
NMR
2004
Springer
15 years 5 months ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...