15416 search results - page 193 / 3084 » Embeddings of Computable Structures |
184
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
Cutting-edge applications of future embedded systems demand highest processor performance with low power consumption to get acceptable battery-life times. Therefore, low power opt...
217
click to vote
ECRTS
2006
IEEE
16 years 21 days ago
2006
IEEE
There is an increasing demand to introduce adaptive capabilities in distributed real-time and embedded (DRE) systems that execute in open environments where system operational con...
179
click to vote
APLAS
2005
ACM
16 years 6 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
167
click to vote
JMIV
2006
15 years 6 months ago
2006
We present a novel representation of shape for closed contours in R2 or for compact surfaces in R3 explicitly designed to possess a linear structure. This greatly simplifies linear...
237
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—We present a method for spotting a subgraph in a graph repository. Subgraph spotting is a very interesting research problem for various application domains where the use of a re...