Sciweavers

9176 search results - page 502 / 1836
» algorithms 2010
Sort
View
ENTCS
2002
72views more  ENTCS 2002»
15 years 6 months ago
A Symbolic Out-of-Core Solution Method for Markov Models
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...
Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norma...
LATINCRYPT
2010
15 years 5 months ago
Accelerating Lattice Reduction with FPGAs
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...
Jérémie Detrey, Guillaume Hanrot, Xa...
IGARSS
2010
15 years 4 months ago
Recent developments in sparse hyperspectral unmixing
This paper explores the applicability of new sparse algorithms to perform spectral unmixing of hyperspectral images using available spectral libraries instead of resorting to well...
Marian-Daniel Iordache, Antonio J. Plaza, Jos&eacu...
IMCSIT
2010
15 years 4 months ago
ACO with semi-random start applied on MKP
Ant Colony Optimization (ACO) is a stochastic search method that mimics the social behavior of real ants colonies, which manage to establish the shortest route to feeding sources a...
Stefka Fidanova, Pencho Marinov, Krassimir T. Atan...
SOCIALCOM
2010
15 years 4 months ago
Estimating the Size of Online Social Networks
The huge size of online social networks (OSNs) makes it prohibitively expensive to precisely measure any properties which require the knowledge of the entire graph. To estimate the...
Shaozhi Ye, Shyhtsun Felix Wu