Gold [Gol67] discovered the enumeration technique, a simple but powerful class of algorithms for learning in the limit (inductive inference). We introduce a provably more powerful technique, which enables us to refute...
详细信息
A new scheduling problem, which is called the insert-idle-time scheduling problem, is proposed which concerns scheduling N jobs on one machine when some of the machine time is unschedulable due to pre-scheduled mainte...
详细信息
We propose a new strategy to recognize the maximum subcube in an n-cube multiprocessor. This subcube recognition algorithm can be done in both serial and parallel and analyzed. This strategy will enhance the performan...
ISBN:
(纸本)0897913418
We propose a new strategy to recognize the maximum subcube in an n-cube multiprocessor. This subcube recognition algorithm can be done in both serial and parallel and analyzed. This strategy will enhance the performance drastically so that our algorithm will outperform the buddy system by a factor nCk, the gray strategy by nCk/2 and Al-Dhelaan [8] by nCk/(k(n-k)+1) in cube recognition. We present a very efficient processor allocation strategy which makes larger contiguous spaces for the new coming job than buddy, gray strategy and Al-Dhelaan [8] do. Furthermore, this new strategy is suitable for static as well as dynamic processors allocation and it results in a less fragmentation and higher fault tolerance. Also we describe an efficient procedure for task migration under the new strategy: 1) goal configuration under the new strategy 2) node-mapping between source and destination node 3) the shortest deadlock-free routing algorithm.
We continued the study of learning an approximation to the desired function. Rather than measure the variance between the desired function and the approximation, we accounted for the difficulty of deciding membership ...
详细信息
Let A be any nonrecursive set. We define a hierarchy of sets (and a corresponding hierarchy of degrees) that are reducible to A based on bounding the number of queries to A that an oracle machine can make. When A is t...
This article describes LIBRA/Dx, a competition-based parallel activation model for diagnostic reasoning. Within a causal network, the model uses a neurally inspired processing paradigm to generate the most plausible e...
详细信息
This article describes LIBRA/Dx, a competition-based parallel activation model for diagnostic reasoning. Within a causal network, the model uses a neurally inspired processing paradigm to generate the most plausible explanation for a set of observed manifestations. the model was built using LIBRA: a domain-independent parallel activation network generator, that can be used to build network models with processing paradigms that are tailored to the specifics of an application domain. the underlying theory postulates that by simultaneously satisfying multiple constraints that may exist locally among domain concepts in a causal network (e.g., among disorders, syndromes, manifestations, etc.) it is possible to construct a plausible global explanation for a set of observed signs and symptoms. the proposed processing paradigm which uses an associative network of concepts to represent domain knowledge, lends itself to the kind of interactive processing that is necessary to capture the generative capacity of human diagnostic ability in novel situations. LIBRA/Dx offers a new approach to modeling a higher cognitive process: diagnostic reasoning, specifically in terms of the time-course of processing and the nature of knowledge representation. It further contributes to our current understanding of the phenomena of human cognition, which have eluded successful explication in conventional computational formalisms.
This paper surveys a variety of deductive database theories. Such theories differ from one another in the set of axioms and metarules that they allow and use. The following theories are discussed: relational, Horn, an...
An environment for prototyping distributed applications is described that supports different communication primitives with specified delays, and provides primitives to aid debugging and evaluation. The environment als...
详细信息
An environment for prototyping distributed applications is described that supports different communication primitives with specified delays, and provides primitives to aid debugging and evaluation. The environment also supports heterogeneous computation in which processes can execute on different hardware. Different source languages can be used for coding different modules of the processes. The system has a centralized control and monitoring facility which is based on the Suntools window system. This approach allows users to develop distributed applications using existing languages and packages, as opposed to restricting users to using only specialized specification languages, and extends the type of work done by R. Hayes et al. (1988) by providing primitives to assist in profiling and instrumenting the applications.< >
A new paradigm for software development that treats software development as an experimental activity is presented. Built-in mechanisms are provided for learning how to develop software better and reusing previous expe...
详细信息
A new paradigm for software development that treats software development as an experimental activity is presented. Built-in mechanisms are provided for learning how to develop software better and reusing previous experience in the forms of knowledge, processes, and products. Models and measures are used to aid in the tasks of characterization, evaluation, and motivation. An organization scheme is proposed for separating the project-specific focus from the organization's learning and reuse focuses of software development. The implications of this approach for corporations, research, and education are discussed, and some research activities currently underway at the University of Maryland that support this approach are presented.< >
The Petri-net-based trellis model of hypertext is briefly described, and the access control capabilities that the model provides for hyperdocuments is discussed. The trellis model captures not only the logical relatio...
详细信息
The Petri-net-based trellis model of hypertext is briefly described, and the access control capabilities that the model provides for hyperdocuments is discussed. The trellis model captures not only the logical relationships among information elements, but also the dynamic properties of a reader's experience when browsing a document. Using the Petri-net formalism, a hypertext document can be written so that different classes of readers can be allowed or denied access to various portions of the document. The use of browsing restrictions and multiple document versions to implement access classes is discussed. While many of the access capabilities described are not different from those available with graph augmentation techniques, it is believed that the Petri net notation is as intuitively easy to use while being more succinct and convenient.< >
暂无评论