1496 search results - page 253 / 300 » Definability of Initial Segments |
131
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previ...
183
click to vote
IDA
2008
Springer
15 years 4 months ago
2008
Springer
Currently statistical and artificial neural network methods dominate in data mining applications. Alternative relational (symbolic) data mining methods have shown their effectivene...
110
click to vote
ENTCS
2006
15 years 4 months ago
2006
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
125
click to vote
FUIN
2006
15 years 4 months ago
2006
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of univers...
135
click to vote
IJRR
2006
15 years 4 months ago
2006
Here, we propose a planning method for knotting/unknotting of deformable linear objects. First, we propose a topological description of the state of a linear object. Second, trans...