757 search results - page 100 / 152 » Monte Carlo Model Checking |
122
Voted
ANOR
2008
15 years 3 months ago
2008
Procurement is one of the major activities in the Manufacturing Resource Planning (MRP II), which is closely coupled with inventory management. Any improvement in this area will h...
156
Voted
ATS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
144
Voted
TSP
2010
14 years 10 months ago
2010
The adaptive estimation of a time-varying parameter vector in a linear Gaussian model is considered where we a priori know that the parameter vector belongs to a known arbitrary s...
125
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
High performance computing is critical for financial markets where analysts seek to accelerate complex optimizations such as pricing engines to maintain a competitive edge. In th...
142
Voted
PAMI
2006
15 years 3 months ago
2006
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...