11484 search results - page 262 / 2297 » Modeling in the Large and Modeling in the Small |
176
click to vote
ISQED
2000
IEEE
15 years 11 months ago
2000
IEEE
The lognormal has been traditionally used to model the failure time distribution of electromigration failures. However, when used to estimate the failure of large metal layers, it...
223
click to vote
MT
2007
15 years 6 months ago
2007
Statistical machine translation systems are usually trained on large amounts of bilingual text (used to learn a translation model), and also large amounts of monolingual text in th...
175
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
In this work we address the problem of modeling varying time duration sequences for large-scale human routine discovery from cellphone sensor data using a multi-level approach to p...
211
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
147
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
Three-dimensional modeling from images, when carried out entirely by a human, can be time consuming and impractical for large-scale projects. On the other hand, full automation ma...