Sciweavers

2012 search results - page 372 / 403
» CORAL - Control, Relations and Logic
Sort
View
ICTAI
2010
IEEE
15 years 3 months ago
Argumentation for Aggregating Clinical Evidence
Abstract--Evidence-based decision making is becoming increasingly important in healthcare. Much valuable evidence is in the form of the results from clinical trials that compare th...
Anthony Hunter, Matthew Williams
CORR
2011
Springer
259views Education» more  CORR 2011»
15 years 1 months ago
Automatic Optimization for MapReduce Programs
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
Eaman Jahani, Michael J. Cafarella, Christopher R&...
IJNSEC
2011
167views more  IJNSEC 2011»
15 years 29 days ago
New Real Time Multicast Authentication Protocol
Multicast gives professional large-scale content distribution by providing an efficient transport mechanism for one-to-many and many-to-many communications. There is a number of s...
Riham Abdellatif, Heba Kamal Aslan, Salwa H. Elram...
SYNTHESE
2011
77views more  SYNTHESE 2011»
15 years 28 days ago
E. W. Beth as a philosopher of physics
This paper examines E. W. Beth’s work in the philosophy of physics, both from a historical and a systematic point of view. Beth saw the philosophy of physics first of all as an ...
Dennis Dieks
JDCTA
2010
150views more  JDCTA 2010»
15 years 24 days ago
Proof as Composition: An approach for the Large-granularity Web Services Composition
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
Yuyu Yin, Ying Li, Jianwei Yin, ShuiGuang Deng