Sciweavers

416 search results - page 55 / 84
» Audiences in argumentation frameworks
Sort
View
SIGMOD
2012
ACM
234views Database» more  SIGMOD 2012»
13 years 9 months ago
Oracle in-database hadoop: when mapreduce meets RDBMS
Big data is the tar sands of the data world: vast reserves of raw gritty data whose valuable information content can only be extracted at great cost. MapReduce is a popular parall...
Xueyuan Su, Garret Swart
ICFP
2010
ACM
15 years 6 months ago
A certified framework for compiling and executing garbage-collected languages
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
Andrew McCreight, Tim Chevalier, Andrew P. Tolmach
PPSN
1994
Springer
15 years 10 months ago
RPL2: A Language and Parallel Framework for Evolutionary Computing
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
Patrick D. Surry, Nicholas J. Radcliffe
WSC
2001
15 years 8 months ago
The economic effects of reusability on distributed simulations
This paper examines whether the ability to reuse a simulation, in whole or in part, results in tangible cost savings on the overall economics of the original simulation. Specific ...
Mary Ewing
ARGMAS
2004
Springer
15 years 10 months ago
Formal Dialectic Specification
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
Simon Wells, Chris Reed