4067 search results - page 197 / 814 » Programs for Applying Symmetries |
126
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we propose to apply emergent collective behavior ideas to automatically program Internet multichannel radio stations. The proposed model simulates n virtual Dj'...
182
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
185
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The notion of evolvability has been put forward to describe the“core mechanism”of natural and artificial evolution. Recently, studies have revealed the influence of the envi...
166
click to vote
TPHOL
1994
IEEE
15 years 10 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
179
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...