15416 search results - page 146 / 3084 » Embeddings of Computable Structures |
141
click to vote
ICML
2010
IEEE
15 years 5 months ago
2010
IEEE
Hidden Markov Models (HMMs) are important tools for modeling sequence data. However, they are restricted to discrete latent states, and are largely restricted to Gaussian and disc...
114
click to vote
ENTCS
2010
15 years 4 months ago
2010
The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic compon...
119
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
The specific constraints that must be satisfied by embedded systems, such as timeliness, energy efficiency of battery-operated devices, dependable operation in safety-relevant sce...
117
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
The idea of changing cache attributes to suit an application has been explored for single programs. As the popularity of reconfigurable softcore systems grows and these systems in...
108
click to vote
CIMCA
2005
IEEE
15 years 9 months ago
2005
IEEE
—The paper deals with the partial automation of cars for safety purposes. We have tried to automate the car to prevent the danger (obstacles around the car) in the best possible ...