15416 search results - page 147 / 3084 » Embeddings of Computable Structures |
117
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Today's graphical modelling languages, despite using symbols and connections, represent large model parts as structured text. We benefit from sophistic text editors,...
137
click to vote
WSCG
2003
15 years 5 months ago
2003
In this paper, a recursive algorithm that can build complex tree structure quickly is presented briefly. The plant structural growth is based on a dual-scale automaton, in which â...
128
click to vote
RTCSA
2009
IEEE
15 years 10 months ago
2009
IEEE
—Componentised systems, in particular those with fault conï¬nement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
126
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Research has shown that computers are notoriously bad at supporting the management of parallel activities and interruptions, and that mobility increases the severity and scope of ...
129
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...