2634 search results - page 193 / 527 » Faster Than Uppaal |
179
click to vote
LATINCRYPT
2010
15 years 4 months ago
2010
We describe an FPGA accelerator for the Kannan–Fincke– Pohst enumeration algorithm (KFP) solving the Shortest Lattice Vector Problem (SVP). This is the first FPGA implementati...
150
click to vote
PVLDB
2010
15 years 4 months ago
2010
This paper describes a high performance sampling architecture for inference of latent topic models on a cluster of workstations. Our system is faster than previous work by over an...
166
Voted
QUESTA
2010
15 years 4 months ago
2010
Consider a stable open Jackson Network with a tree topology. Customers arrive at the single root of the tree. The system is stable in the sense that the average service rate at ea...
172
click to vote
SSPR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we introduce a new approach aimed at solving the problem of image retrieval from text queries. We propose to estimate the word relevance of an image using a...
164
click to vote
SSPR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a fast population game dynamics, motivated by the analogy with infection and immunization processes within a population of “players,” for finding dominant sets, a p...