11160 search results - page 197 / 2232 » Incompleteness in a General Setting |
107
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We derive new bounds on the aperiodic total squared correlation (ATSC) of binary antipodal signature sets for any number of signatures K and any signature length L. We then pre...
119
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we consider an extension of the answer set semantics allowing arbitrary use of strong negation. We prove that the strong negation extension of any intermediate logic ...
147
click to vote
ESA
2005
Springer
15 years 10 months ago
2005
Springer
We present a simple two-person Bucket Game, based on throwing balls into buckets, and we discuss possible players’ strategies. We use these strategies to create an approximation ...
138
click to vote
EPS
1998
Springer
15 years 8 months ago
1998
Springer
The task of finding minimal elements of a partially ordered set is a generalization of the task of finding the global minimum of a real-valued function or of finding Pareto-optimal...
138
click to vote
DLT
2004
15 years 5 months ago
2004
New results on the recognizability of sets of finite graphs, hypergraphs and relational structures are presented. The general framework of this research which associates tightly a...