Sciweavers

1338 search results - page 181 / 268
» Consistent Code Generation from UML Models
Sort
View
GECCO
2010
Springer
155views Optimization» more  GECCO 2010»
15 years 8 months ago
Evolutionary optimization of flavors
We have acquired panelist data that provides hedonic (liking) ratings for a set of 40 flavors each composed of the same 7 ingredients at different concentration levels. Our goal...
Kalyan Veeramachaneni, Katya Vladislavleva, Matt B...
FOIKS
2008
Springer
15 years 5 months ago
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
Vasiliki Efstathiou, Anthony Hunter
LREC
2008
117views Education» more  LREC 2008»
15 years 5 months ago
Evolutionary Basic Notions for a Thematic Representation of General Knowledge
In the field of Natural Language Processing, in order to work out a thematic representation system of general knowledge, methods relying on thesaurus have been used for about twen...
Alain Joubert, Mathieu Lafourcade
130
Voted
TCC
2005
Springer
116views Cryptology» more  TCC 2005»
15 years 9 months ago
Error Correction in the Bounded Storage Model
We initiate a study of Maurer’s bounded storage model (JoC, 1992) in presence of transmission errors and perhaps other types of errors that cause different parties to have incon...
Yan Zong Ding
161
Voted
FASE
2008
Springer
15 years 5 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt