Sciweavers

163 search results - page 23 / 33
» A Parallel Search Engine with BSP
Sort
View
93
Voted
EMNLP
2010
14 years 10 months ago
Mining Name Translations from Entity Graph Mapping
This paper studies the problem of mining entity translation, specifically, mining English and Chinese name pairs. Existing efforts can be categorized into (a) a transliterationbas...
Gae-won You, Seung-won Hwang, Young-In Song, Long ...
KBSE
2008
IEEE
15 years 6 months ago
Swarm Verification
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
IPPS
2009
IEEE
15 years 7 months ago
Input-independent, scalable and fast string matching on the Cray XMT
String searching is at the core of many security and network applications like search engines, intrusion detection systems, virus scanners and spam filters. The growing size of o...
Oreste Villa, Daniel G. Chavarría-Miranda, ...
213
Voted
AACC
2004
Springer
15 years 5 months ago
Mining Top - k Ranked Webpages Using Simulated Annealing and Genetic Algorithms
Searching on the Internet has grown in importance over the last few years, as huge amount of information is invariably accumulated on the Web. The problem involves locating the des...
P. Deepa Shenoy, K. G. Srinivasa, Achint Oommen Th...
101
Voted
EUROMICRO
2007
IEEE
15 years 6 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil