15416 search results - page 3 / 3084 » Embeddings of Computable Structures |
CORR
2006
Springer
13 years 6 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
RTCSA
2005
IEEE
13 years 11 months ago
2005
IEEE
With the advent of miniaturized sensing technology, it has become possible to envision smart structures containing millions of sensors embedded in concrete for autonomously detect...
DATE
2003
IEEE
13 years 11 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
SAJ
2002
13 years 5 months ago
2002
: Embedded interactive computer systems, such as those found in cellular handsets, can be hard to use. The combination of small form factor
ECML
2007
Springer
13 years 10 months ago
2007
Springer
Recently, a successful extension of Principal Component Analysis for structured input, such as sequences, trees, and graphs, has been proposed. This allows the embedding of discret...