675 search results - page 79 / 135 » Using Fairness to Make Abstractions Work |
152
Voted
CLIMA
2006
15 years 5 months ago
2006
Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules...
135
Voted
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
181
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The traditional GA theory is pillared on the Building Block Hypothesis (BBH) which states that Genetic Algorithms (GAs) work by discovering, emphasizing and recombining low order ...
149
Voted
CLOUD
2010
ACM
15 years 8 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
139
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...