2634 search results - page 411 / 527 » Faster Than Uppaal |
150
click to vote
VRIPHYS
2010
15 years 24 days ago
2010
We present a novel bending model and constraint creation method for position-based dynamics. Our new bending model is introduced as an alternative to the current state-of-the-art ...
171
Voted
CORR
2011
Springer
15 years 19 days ago
2011
Springer
—Dual descent methods are commonly used to solve network optimization problems because their implementation can be distributed through the network. However, their convergence rat...
222
Voted
PE
2011
Springer
15 years 15 days ago
2011
Springer
We introduce a new solution technique for closed product-form queueing networks that generalizes the Method of Moments (MoM), a recently proposed exact algorithm that is several o...
215
click to vote
CGO
2011
IEEE
14 years 10 months ago
2011
IEEE
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, whic...
139
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
Cashiers in retail stores usually exhibit certain repetitive and periodic activities when processing items. Detecting such activities plays a key role in most retail fraud detecti...