Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
51
A Grand Challenge of Theorem Discovery
- Proceedings of the Workshop on Challenges and Novel Applications for Automated Reasoning, 19th International Conference on Automated Reasoning
, 2003
"... Abstract. A primary mode of operation of ATP systems is to supply the system with axioms and a conjecture, and to then ask the system to produce a proof (or at least an assurance that there is a proof) that the conjecture is a theorem of the axioms. This paper challenges ATP to a new mode of operati ..."
Abstract
-
Cited by 5 (1 self)
- Add to MetaCart
Abstract. A primary mode of operation of ATP systems is to supply the system with axioms and a conjecture, and to then ask the system to produce a proof (or at least an assurance that there is a proof) that the conjecture is a theorem of the axioms. This paper challenges ATP to a new mode
Effects-Based Operations: A Grand Challenge for the Analytical
- Community,” RAND, 1200 South Hayes
, 2001
"... Institute, a federally funded research and development center supported by the OSD, the Joint Staff, the unified commands, and the defense agencies under contract DASW01-95-C-0059, and in Project AIR FORCE, a federally funded research and development center sponsored by the United States Air Force u ..."
Abstract
-
Cited by 26 (4 self)
- Add to MetaCart
Institute, a federally funded research and development center supported by the OSD, the Joint Staff, the unified commands, and the defense agencies under contract DASW01-95-C-0059, and in Project AIR FORCE, a federally funded research and development center sponsored by the United States Air Force
The PARADIGM Compiler for Distributed-Memory Message Passing Multicomputers
- IEEE Computer
, 1994
"... The PARADIGM compiler project provides an automated means to parallelize programs, written in a serial programming model, for efficient execution on distributed-memory multicomputers. In addition to performing traditional compiler optimizations, PARADIGM is unique in that it addresses many other is ..."
Abstract
-
Cited by 112 (9 self)
- Add to MetaCart
issues within a unified platform: automatic data distribution, synthesis of high-level communication, communication optimizations, irregular computations, functional and data parallelism, and multithreaded execution. This paper describes the techniques used and provides experimental evidence
Challenges of the Strand Model As with almost all overly ambitious Grand Unified Theories or Theories of
"... may be challenged by several upfront objections. Here we present a brief (yet incomplete) list of such objections. 1. Regardless of what many schools of thought promote nowadays, physics near the Planck scale is largely unknown and has no observable impact on either the Standard Model or classical g ..."
Abstract
- Add to MetaCart
may be challenged by several upfront objections. Here we present a brief (yet incomplete) list of such objections. 1. Regardless of what many schools of thought promote nowadays, physics near the Planck scale is largely unknown and has no observable impact on either the Standard Model or classical
Automatic Segmentation of MS Lesions Using a Contextual Model for the MICCAI Grand Challenge
, 2008
"... Automatically segmenting subcortical structures in brain images has the potential to greatly accelerate drug trials and population studies of disease. Here we propose an automatic subcortical segmentation algorithm using the auto context model. Unlike many segmentation algorithms that separately com ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
compute a shape prior and an image appearance model, we develop a framework based on machine learning to learn a unified appearance and context model. In order to test the method, specificity and sensitivity measurements were obtained on a standardized dataset provided by the competition organizers. Our
Towards a unified theory of spoken language processing
- Proc. 4th IEEE International Conference on Cognitive Informatics
, 2005
"... Spoken Language Processing is arguably the most sophisticated behaviour of the most complex organism in the known universe and, unsurprisingly, scientists still have much to learn about how it works. Meanwhile, automated spoken language processing systems have begun to emerge in commercial applicati ..."
Abstract
-
Cited by 4 (3 self)
- Add to MetaCart
of the derivation of a ‘unifying theory ’ that would be capable of explaining and predicting both human and machine spoken language processing behaviour, and hence serve both communities as well as representing a long-term ‘grand challenge ’ for the scientific community in the emerging field of ‘Cognitive
ClusterSchedSim: A Unifying Simulation Framework for Cluster Scheduling Strategies
"... With the growing popularity of clusters, their usage in diverse application domains poses interesting challenges. At one extreme, we find clusters taking on the role of supercomputing engines to tackle the ”grand challenges” at different national laboratories. At the other extreme, clusters have als ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
With the growing popularity of clusters, their usage in diverse application domains poses interesting challenges. At one extreme, we find clusters taking on the role of supercomputing engines to tackle the ”grand challenges” at different national laboratories. At the other extreme, clusters have
1 Grand Challenge 5: Architecture of Brain and Mind A distributed framework for semi-automatically developing architectures of Brain and Mind
"... Developing comprehensive theories of low-level neuronal brain processes and high-level cognitive behaviours, as well as integrating them, is an ambitious challenge that requires new conceptual, computational, and empirical tools. Given the complexities of these theories, they almost certainly will b ..."
Abstract
- Add to MetaCart
in science is to develop theories that summarise and unify a large body of empirical data. However, there is no overarching theory in psychology 1 (or even in sub-fields of psychology, such as study of memory, emotions, or perception), which, in the way quantum mechanics organises empirical data in chemistry
Reconstructing grand theory in Islamic human geography - Some preliminary notes
"... Abstract To have or not to have a grand theory is the question asked and deliberated by contemporary geographers although some or many had already dismissed the legitimacy of the question altogether . This paper addresses the problem of grand theory in contemporary (Western) human geography from an ..."
Abstract
- Add to MetaCart
to demonstrate how and why an epistemological grand theory is not a problem in the Islamic approach to knowledge. Recapitulating the gist of an earlier attempt, it provides a brief account of how an Islamic epistemology would grapple with three of the main issues and challenges facing a grand theory in human
Pontifı́cia Universidade Católica do Rio Grande do Sul
"... Abstract. With the Model Driven Architecture (MDA), the role of model com-position has become very important. One challenge in model composition is specifically to merge models expressed in the Unified Model Language (UML) and its extensions. However, to put model composition in practice it is neces ..."
Abstract
- Add to MetaCart
Abstract. With the Model Driven Architecture (MDA), the role of model com-position has become very important. One challenge in model composition is specifically to merge models expressed in the Unified Model Language (UML) and its extensions. However, to put model composition in practice
Results 1 - 10
of
51
