Sciweavers

2561 search results - page 172 / 513
» Enhanced Quicksort Algorithm
Sort
View
136
Voted
SPIN
2010
Springer
15 years 7 days ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
WOA
2010
15 years 7 days ago
Using Mobile Agents for Secure Biometric Authentication
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...
Marco Tranquillin, Carlo Ferrari, Michele Moro
ECIR
2009
Springer
15 years 5 days ago
PathRank: Web Page Retrieval with Navigation Path
Abstract. This paper describes a path-based method to use the multi-step navigation information discovered from website structures for web page ranking. Use of hyperlinks to enhanc...
Jianqiang Li, Yu Zhao 0002
IC3
2009
15 years 4 days ago
A New Approach towards Bibliographic Reference Identification, Parsing and Inline Citation Matching
A number of algorithms and approaches have been proposed towards the problem of scanning and digitizing research papers. We can classify work done in the past into three major appr...
Deepank Gupta, Bob Morris, Terry Catapano, Guido S...
ICMCS
2009
IEEE
218views Multimedia» more  ICMCS 2009»
15 years 3 days ago
Multi-view reconstruction under varying illumination conditions
This paper addresses the problem of complete and detailed 3D model reconstruction of objects filmed by multiple cameras under varying illumination. Firstly, initial normal maps ar...
Chenglei Wu, Yebin Liu, Xiangyang Ji, Qionghai Dai