Sciweavers

80 search results - page 6 / 16
» The Logic of Perfect MV-algebras
Sort
View
ISCC
2003
IEEE
130views Communications» more  ISCC 2003»
15 years 2 months ago
Balanced Batch LKH: New Proposal, Implementation and Performance Evaluation
Perfect Secrecy can only be achieved in multicast groups by ciphering data sent to the group with a different key every time a member joins or leaves the group. A Key Server must ...
Josep Pegueroles, Francisco Rico-Novella
IGPL
2002
77views more  IGPL 2002»
14 years 9 months ago
On the semantics of informational independence
The semantics of the independence friendly logic of Hintikka and Sandu is usually defined via a game of imperfect information. We give a definition in terms of a game of perfect i...
Jouko A. Väänänen
ATVA
2009
Springer
173views Hardware» more  ATVA 2009»
15 years 4 months ago
Solving Parity Games in Practice
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
Oliver Friedmann, Martin Lange
GECCO
2009
Springer
112views Optimization» more  GECCO 2009»
15 years 4 months ago
Approximating geometric crossover in semantic space
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
Krzysztof Krawiec, Pawel Lichocki
AIED
2007
Springer
15 years 3 months ago
Fitting Spatial Ability into Intelligent Tutoring Systems Development
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...
Nancy Milik, Antonija Mitrovic, Michael Grimley