Sciweavers

4123 search results - page 641 / 825
» Multiple Relational Embedding
Sort
View
CAISE
2005
Springer
16 years 7 hour ago
Capability Matching and Similarity Reasoning in Service Discovery
Abstract. Ontologies play a relevant role to support service matchmaking in the discovery process. In fact, the elements used for service capability description refer to concepts t...
Devis Bianchini, Valeria De Antonellis, Michele Me...
EMO
2005
Springer
76views Optimization» more  EMO 2005»
15 years 12 months ago
Photonic Device Design Using Multiobjective Evolutionary Algorithms
Abstract. The optimization and design of two different types of photonic devices - a Fibre Bragg Grating and a Microstructured Polymer Optical Fibre is presented in light of multi...
Steven Manos, Leon Poladian, Peter J. Bentley, Mar...
EUROCRYPT
2005
Springer
15 years 12 months ago
Reducing Complexity Assumptions for Statistically-Hiding Commitment
We revisit the following question: what are the minimal assumptions needed to construct statistically-hiding commitment schemes? Naor et al. show how to construct such schemes bas...
Iftach Haitner, Omer Horvitz, Jonathan Katz, Chiu-...
HVC
2005
Springer
160views Hardware» more  HVC 2005»
15 years 12 months ago
Simultaneous SAT-Based Model Checking of Safety Properties
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
Zurab Khasidashvili, Alexander Nadel, Amit Palti, ...
ICCS
2005
Springer
15 years 12 months ago
Querying a Bioinformatic Data Sources Registry with Concept Lattices
Abstract Bioinformatic data sources available on the web are multiple and heterogenous. The lack of documentation and the difficulty of interaction with these data banks require us...
Nizar Messai, Marie-Dominique Devignes, Amedeo Nap...