Sciweavers

4794 search results - page 523 / 959
» Trust-Based Mechanism Design
Sort
View
EKAW
2006
Springer
15 years 10 months ago
Ontology Selection for the Real Semantic Web: How to Cover the Queen's Birthday Dinner?
Robust mechanisms for ontology selection are crucial for the evolving Semantic Web characterized by rapidly increasing numbers of online ontologies and by applications that automat...
Marta Sabou, Vanessa Lopez, Enrico Motta
ESAW
2006
Springer
15 years 10 months ago
A Definition of Exceptions in Agent-Oriented Computing
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
EVOW
2006
Springer
15 years 10 months ago
Supervised Genetic Search for Parameter Selection in Painterly Rendering
This paper investigates the feasibility of evolutionary search techniques as a mechanism for interactively exploring the design space of 2D painterly renderings. Although a growing...
John P. Collomosse
FM
2006
Springer
111views Formal Methods» more  FM 2006»
15 years 10 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
FPL
2006
Springer
223views Hardware» more  FPL 2006»
15 years 10 months ago
From Equation to VHDL: Using Rewriting Logic for Automated Function Generation
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
Carlos Morra, M. Sackmann, Sunil Shukla, Jürg...