2634 search results - page 5 / 527 » Faster Than Uppaal |
CHI
2006
ACM
14 years 7 months ago
2006
ACM
Scrolling is the standard way to navigate through many types of digital documents. However, moving more than a few pages can be slow because all scrolling techniques constrain vis...
WABI
2005
Springer
14 years 28 days ago
2005
Springer
Motifs in a network are small connected subnetworks that occur in significantly higher frequencies than in random networks. They have recently gathered much attention as a useful ...
SDM
2010
SIAM
13 years 9 months ago
2010
SIAM
The k-means algorithm is widely used for clustering, compressing, and summarizing vector data. In this paper, we propose a new acceleration for exact k-means that gives the same a...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
In a recent paper Keister proposed two quadrature rules as alternatives to Monte Carlo for certain multidimensional integrals and reported his test results. In earlier work we had...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...