1421 search results - page 231 / 285 » Resampling methods for input modeling |
128
Voted
ENTCS
2008
15 years 2 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
111
Voted
ANOR
2006
15 years 2 months ago
2006
To solve a decision problem under uncertainty via stochastic programming means to choose or to build a suitable stochastic programming model taking into account the nature of the r...
137
Voted
FUIN
2008
15 years 2 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
134
click to vote
IJCV
2008
15 years 2 months ago
2008
Histograms of local appearance descriptors are a popular representation for visual recognition. They are highly discriminant with good resistance to local occlusions and to geomet...
133
Voted
ASPDAC
2010
ACM
15 years 20 days ago
2010
ACM
- Dynamic power consumption in CMOS circuits is usually estimated based on the number of signal transitions. However, when considering glitches, this is not accurate because narrow...