Sciweavers

18451 search results - page 417 / 3691
» Selecting a Selection Procedure
Sort
View
CONCUR
2005
Springer
16 years 7 days ago
Selecting Theories and Recursive Protocols
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
Tomasz Truderung
DBISP2P
2005
Springer
183views Database» more  DBISP2P 2005»
16 years 7 days ago
Database Selection and Result Merging in P2P Web Search
Intelligent Web search engines are extremely popular now. Currently, only commercial centralized search engines like Google can process terabytes of Web data. Alternative search en...
Sergey Chernov, Pavel Serdyukov, Matthias Bender, ...
DILS
2005
Springer
16 years 7 days ago
BioNavigation: Selecting Optimum Paths Through Biological Resources to Evaluate Ontological Navigational Queries
Publicly available biological resources form a complex maze of highly heterogeneous data sources, interconnected by navigational capabilities and applications. Although it offers ...
Zoé Lacroix, Kaushal Parekh, Maria-Esther V...
EMO
2005
Springer
194views Optimization» more  EMO 2005»
16 years 7 days ago
An EMO Algorithm Using the Hypervolume Measure as Selection Criterion
Abstract. The hypervolume measure is one of the most frequently applied measures for comparing the results of evolutionary multiobjective optimization algorithms (EMOA). The idea t...
Michael Emmerich, Nicola Beume, Boris Naujoks
IBPRIA
2005
Springer
16 years 6 days ago
Gabor Parameter Selection for Local Feature Detection
Abstract. Some recent works have addressed the object recognition problem by representing objects as the composition of independent image parts, where each part is modeled with “...
Plinio Moreno, Alexandre Bernardino, José S...