1419 search results - page 136 / 284 » Notes on Formalizing Context |
104
click to vote
CORR
2002
Springer
15 years 23 days ago
2002
Springer
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant...
111
click to vote
IPL
2002
15 years 19 days ago
2002
Weak acceptance conditions for automata on infinite words or trees are defined in terms of the set of states that appear in the run. This is in contrast with, more usual, strong c...
116
click to vote
IJON
2008
14 years 11 months ago
2008
The problem of inductive supervised learning is discussed in this paper within the context of multi-objective (MOBJ) optimization. The smoothness-based apparent (effective) comple...
145
click to vote
IRCDL
2010
14 years 11 months ago
2010
Social Network Sites can be seen as very large information repositories containing millions of text messages usually organized into complex networks involving users interacting wit...
SLOGICA
2010
14 years 11 months ago
2010
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...