943 search results - page 12 / 189 » Virtual First-Order Structure |
111
Voted
TASE
2009
IEEE
15 years 9 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
116
click to vote
JSYML
2008
15 years 2 months ago
2008
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...
EUSFLAT
2007
15 years 3 months ago
2007
The paper deals with the modelling of dynamical processes based on Soft Computing methods. The structure of a Dynamic Fuzzy Model is illustrated on a linear dynamic system of firs...
110
click to vote
EJC
2010
15 years 2 months ago
2010
Abstract. In this paper we study dualities of graphs and, more generally, relational structures with respect to full homomorphisms, that is, mappings that are both edge- and non-ed...
150
Voted
TKDE
2008
15 years 2 months ago
2008
This paper presents a general virtual ring method to design and analyze small-world structured P2P networks on the base es embedded in ID spaces with distance metric. Its basic ide...