8928 search results - page 439 / 1786 » Modeling Current Events |
146
Voted
SNPD
2008
15 years 6 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
150
Voted
MSWIM
2004
ACM
15 years 10 months ago
2004
ACM
Discrete event network simulators have emerged as popular tools for verification and performance evaluation for various wireless networks. Nevertheless, the desire to model such ...
162
click to vote
DATAMINE
2008
15 years 3 months ago
2008
Predictive modelling of online dynamic user-interaction recordings and community identifi cation from such data b ecomes more and more imp ortant w ith th e w idesp read use of on...
134
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Shrinking feature sizes and process variations are of increasing concern in modern technology. It is urgent that we develop statistical interconnect timing models which are harmon...
169
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
We propose a novel Active Volume Model (AVM) which deforms in a free-form manner to minimize energy. Unlike Snakes and level-set active contours which only consider curves or surfa...