1567 search results - page 222 / 314 » A Mechanized Model of the Theory of Objects |
141
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
102
click to vote
HYBRID
1995
Springer
15 years 5 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
124
click to vote
MLMTA
2007
15 years 3 months ago
2007
- Clustering plays an indispensable role for data analysis. Many clustering algorithms have been developed. However, most of them suffer either poor performance of unsupervised lea...
115
click to vote
NIPS
2001
15 years 3 months ago
2001
Asymmetric lateral connections are one possible mechanism that can account for the direction selectivity of cortical neurons. We present a mathematical analysis for a class of the...
103
Voted
ENTCS
2002
15 years 1 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...