2905 search results - page 421 / 581 » Formal Memetic Algorithms |
135
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
197
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
135
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
165
click to vote
AAMAS
2005
Springer
15 years 3 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
146
click to vote
TCAD
2008
15 years 3 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...