4403 search results - page 231 / 881 » Galois Theory of Algorithms |
168
click to vote
ICDCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Earlier work has developed the underpinnings of a theory of scheduling computations having intertask dependencies—modeled via dags—for Internet-based computing. The goal of th...
123
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
We propose a new methodology to look at the fitness contributions (semantics) of different schemata in Genetic Programming (GP). We hypothesize that the significance of a schem...
168
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
We propose an analysis of the codified Law of France as a structured system. Fifty two legal codes are selected on the basis of explicit legal criteria and considered as vertices ...
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
165
click to vote
SIGECOM
2008
ACM
15 years 6 months ago
2008
ACM
We report on an extensive series of highly controlled human subject experiments in networked trade. Our point of departure is a simple and well-studied bipartite network exchange ...