15416 search results - page 234 / 3084 » Embeddings of Computable Structures |
145
Voted
CORR
2004
Springer
15 years 5 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
137
click to vote
CISIS
2009
IEEE
16 years 6 days ago
2009
IEEE
—Deployment of open source software for embedded system is increasing while ubiquitous devices have become widely used. System designer need to cope with malicious input which is...
250
click to vote
DSN
2008
IEEE
15 years 12 months ago
2008
IEEE
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, ...
142
click to vote
ICESS
2007
Springer
15 years 11 months ago
2007
Springer
Over recent years automated face detection and recognition (FDR) have gained significant attention from the commercial and research sectors. This paper presents an embedded face de...
168
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
High mask and production costs for the newest CMOS silicon technologies increase the pressure to develop hardware platforms useable for different applications or variants of the s...