821 search results - page 94 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
191
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
176
click to vote
GLVLSI
2008
IEEE
16 years 19 days ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
175
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
In many vision problems, rotation-invariant analysis is necessary or preferred. Popular solutions are mainly based on pose normalization or brute-force learning, neglecting the in...
176
click to vote
SIGIR
2006
ACM
16 years 4 days ago
2006
ACM
Traditional web link-based ranking schemes use a single score to measure a page’s authority without concern of the community from which that authority is derived. As a result, a...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
High-dimensional statistical inference deals with models in which the the number of parameters p is comparable to or larger than the sample size n. Since it is usually impossible ...