15416 search results - page 83 / 3084 » Embeddings of Computable Structures |
103
Voted
LCTRTS
1999
Springer
15 years 5 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
132
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
SIGPRO
2011
14 years 7 months ago
2011
A fast and exact procedure for the numerical synthesis of stationary multivariate Gaussian time series with a priori prescribed and well controlled autoand cross-covariance functi...
85
Voted
ICPR
2010
IEEE
14 years 12 months ago
2010
IEEE
In this paper we present a scene analysis technique with subpixel filtering based on dense coded light fields. Our technique computes alignment and optically projects analysis ...
134
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
Mode-seeking has been widely used as a powerful data analysis technique for clustering and filtering in a metric feature space. We introduce a versatile and efficient modeseekin...