Sciweavers

2905 search results - page 329 / 581
» Formal Memetic Algorithms
Sort
View
137
Voted
ACMICEC
2006
ACM
120views ECommerce» more  ACMICEC 2006»
15 years 7 months ago
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
This paper presents a visual application in the framework of semantic-enabled e-marketplaces aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-mar...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
147
Voted
COOPIS
2004
IEEE
15 years 7 months ago
Aligning Ontologies and Evaluating Concept Similarities
An innate characteristic of the development of ontologies is that they are often created by independent groups of expertise, which generates the necessity of merging and aligning o...
Kleber Xavier Sampaio de Souza, Joseph Davis
129
Voted
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 7 months ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...
150
Voted
CAV
2006
Springer
164views Hardware» more  CAV 2006»
15 years 7 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
ECAI
2004
Springer
15 years 7 months ago
Instance-Based Prediction with Guaranteed Confidence
Instance-based learning (IBL) algorithms have proved to be successful in many applications. However, as opposed to standard statistical methods, a prediction in IBL is usually give...
Eyke Hüllermeier