ppxscal/embedding_network huggingface dataset:
Merging Test and Verification for Rule Base Debugging
Authors: F. Bouali, S. Loiseau, M. C. Rousset
Venue: Proceedings of the 8th International Conference on Tools with Artificial Intelligence (1996)

A way of formally but partially characterizing knowledge base correctness is to define knowledge base coherency. The first contribution of this paper is to show how taking into account test cases can lead to a new definition of rule base coherency that is better than existing ones. Our second contribution is that we proposed extensions of model-based diagnosis that enable to complete characterization of rule base incoherencies and their possible causes. As a result, we obtain an algorithm for both debugging rules bases and detecting incoherencies.
An Approach to Developing Information Dissemination Service for Ubiquitous Computing Applications
Authors: Stephen S. Yau, Sheikh I. Ahamed
Venue: Proceedings of the The Sixth International Symposium on Autonomous Decentralized Systems (ISADS'03) (2003)

In many ubiquitous computing (ubicomp) applications, such as smart classrooms, hospitals, construction sites, stadiums, shopping malls, emergency services, law enforcement, convention centers, battlefields, and inhospitable physical environments, information dissemination service is needed for distributing information from one or more devices to a large number of devices. These systems normally possess the characteristics of autonomous decentralized systems (ADS). Information dissemination for ubicomp applications can be achieved by autonomous coordination, but complex interactions and autonomous coordination of these devices depend upon local and neighboring context and/or situation. Due to the mobility of the devices, unknown destinations for information from a source, and low computational power of the devices for routing, it is difficult to provide information dissemination service for ubicomp applications. Reconfigurable context-sensitive middleware (RCSM) has been used for ADS applications in ubicomp environments since it can provide context-sensitivity, situation-awareness, ad hoc communication and ADS properties. In this paper, an approach to developing information dissemination service for ubicomp applications, which can be incorporated in RCSM, is presented.
The Crippled Queen Placement Problem
Authors: A R Wagner, M R Geist
Venue:  (1984)

We describe the outcome of various combinations of choices made by individuals in the solution of a non-trivial combinatorial problem on a computer. The programs which result are analyzed with respect to execution speed, design time, and difficulty in debugging. The solutions obtained vary dramatically as a result of choices made in the overall design of the solution. Choices made at lower levels in the top-down tree of design choices seem to have less effect on the parameters analyzed. A tradeoff between mathematical effort in algorithm design, and program speed is evident, since some solutions required solution-time which grows exponentially with the case size, while another solution presented here gives a closed-form expression for the required answers for all large cases.
Distributed Computations Driven by Resource Consumption
Authors: Luc Moreau, Christian Queinnec
Venue: Proceedings of the 1998 International Conference on Computer Languages (1998)

Millions of computers are now connected together by the Internet. At a fast pace, applications are taking advantage of these new capabilities, and are becoming parallel and distributed, e.g. applets on the WWW or agent technology. As we live in a world with finite resources, an important challenge is to be able to control computations in such an environment. For instance, a user might like to suspend a computation because another one seems to be more promising. In this paper, we present a paradigm that allows the programmer to monitor and control computations, whether parallel or distributed, by mastering their resource consumption. We describe an implementation on top of the thread library PPCR and the message-passing library Nexus.
Scalable QoS Guaranteed Communication Services for Real-Time Applications
Authors: Byung-Kyu Choi
Venue: Proceedings of the The 20th International Conference on Distributed Computing Systems ( ICDCS 2000) (2000)

In this paper, we propose an approach to flow-unaware admission control, which is combination with an aggregate packet-forwarding scheme, improves scalability of networks while guaranteeing end-to-end deadlines for real-time applications.We achieve this by using an off-line delay computation and verification step, which allows to reduce the overhead at admission control while keeping admission probability and resources utilization high.Our evaluation data show our system's admission probabilities are very close to those of significantly more expensive flow-aware approaches. At the same time, admission control overhead during flow establishment is very low. Our results therefore support the claim from the DS architecture literature that scalability can be achieved through flow aggregation without sacrificing resource utilization and with significant reduction in run time overhead.
Interactive Sketching for the Early Stages of User Interface Design
Authors: James A. Landay, Brad A. Myers
Venue:  (1994)

Current interactive user interface construction tools are often more of a hindrance than a benefit during the early stages of user interface design. These tools take too much time to use and force designers to specify more of the design details than they wish to at this early stage. Most interface designers, especially those who have a background in graphic design, prefer to sketch early interface ideas on paper or on a white-board. We are developing an interactive tool that allows designers to quickly sketch an interface using an electronic pad and stylus. Our tool preserves the important properties of paper: A rough drawing can be produced very quickly and the medium is very flexible. However, unlike a paper sketch this electronic sketch can easily be exercised and modified. In addition, our system allows designers to examine, annotate, and edit a complete history of the design. When the designer is satisfied with this early prototype, the system can transform the sketch into a complete, finished interface in a specified look-and-feel. This transformation takes place with the guidance of the designer. By supporting the early design phases of the software life-cycle, our tool should both ease the prototyping of user interfaces and improve the speed with which a final interface can be created.
Fuzzy Control Systems Design and Analysis: A Linear Matrix Inequality Approach
Authors: Kazuo Tanaka, Hua O. Wang
Venue:  (2002)

:A comprehensive treatment of model-based fuzzy control systemsThis volume offers full coverage of the systematic framework for the stability and design of nonlinear fuzzy control systems. Building on the Takagi-Sugeno fuzzy model, authors Tanaka and Wang address a number of important issues in fuzzy control systems, including stability analysis, systematic design procedures, incorporation of performance specifications, numerical implementations, and practical applications.Issues that have not been fully treated in existing texts, such as stability analysis, systematic design, and performance analysis, are crucial to the validity and applicability of fuzzy control methodology. Fuzzy Control Systems Design and Analysis addresses these issues in the framework of parallel distributed compensation, a controller structure devised in accordance with the fuzzy model.This balanced treatment features an overview of fuzzy control, modeling, and stability analysis, as well as a section on the use of linear matrix inequalities (LMI) as an approach to fuzzy design and control. It also covers advanced topics in model-based fuzzy control systems, including modeling and control of chaotic systems. Later sections offer practical examples in the form of detailed theoretical and experimental studies of fuzzy control in robotic systems and a discussion of future directions in the field.Fuzzy Control Systems Design and Analysis offers an advanced treatment of fuzzy control that makes a useful reference for researchers and a reliable text for advanced graduate students in the field.
Bayesian color image segmentation using reversible jump Markov chain Monte Carlo
Authors: Z. Kato
Venue:  (1999)

This paper deals with the problem of unsupervised image segmentation. Our goal is to propose a method which is able to segment a color image without any human intervention. The only input is the observed image, all other parameters are estimated during the segmentation process. Our method is model-based, we use a first order Markov random field (MRF) model (also known as the Potts model) where the singleton energies derive from a multivariate Gaussian distribution and second order potentials favor similar classes in neighboring pixels. The most difficult part is the estimation of the number of pixel classes or in other words, the estimation of the number of Gaussian mixture components. Reversible jump Markov chain Monte Carlo (MCMC) is used to solve this problem. These jumps enable the possible splitting and merging of classes. The algorithm finds the most likely number of classes, their associated model parameters and generates a segmentation of the image by classifying the pixels into these classes. The estimation is done according to the Maximum A Posteriori (MAP) criteria. Experimental results are promising, we have obtained accurate results on a variety of real color images.
Effect of Unreliable Nodes on QoS Routing
Authors: Swapna S. Gokhale, Satish K. Tripathi
Venue: Proceedings of the Seventh Annual International Conference on Network Protocols (1999)

A number of QoS routing algorithms have been proposed to address the dual objective of selecting feasible paths through the network with enough resources to satisfy a connections' QoS request, while simultaneously utilizing network resources efficiently. However, these routing algorithms and the guarantees they provide do not consider the possibility of node and link failures. The failure of a node or a link along a path can disrupt the continuity of an on-going session and potentially terminate the session. Hence the problem of QoS routing should be extended to incorporate reliability and fault-tolerance requirements.In this paper we study the impact of unreliable nodes on QoS routing. We describe a scheme to restore the flows that are disrupted due to node failures to alternate paths. Two prioritized restoration policies, one to maximize the number of disrupted flows that can be restored, and the other to maximize the disrupted demand that can be restored are also presented. We conduct extensive simulations to evaluate routing performance in the presence of node failures and repairs, as well as the performance of the restoration scheme. Our results indicate: i) when the availability of the nodes is beyond a certain threshold, the routing as well as the restoration performance is comparable where the number of failures in one is twice the number of failures in the other, ii) the percentage of the disrupted flows and the percentage of the disrupted demand that can be restored successfully increase with decreasing network load, and iii) prioritized restoration policies are effective under heavy network load conditions, and their effectiveness decreases with decreasing network load.
Design and Evaluation of Scalable Switching Fabrics for High-Performance Routers
Authors: Nian-Feng Tzeng, Ravi C. Batchu
Venue: Proceedings of the 2002 International Conference on Parallel Processing (2002)

This work considers switching fabrics with distributed packet routing to achieve high scalability and low costs. The considered switching fabrics are based on a multistage structure with different re-circulation designs, where adjacent stages are interconnected according to the indirect n-cube connection style. They all compare favorably with an earlier multistage-based counterpart according to extensive simulation, in terms of performance measures of interest and hardware complexity. When queues are incorporated in the output ports of switching elements (SE's), the total number of stages required in our proposed fabrics to reach a given performance level can be reduced substantially. The performance of those fabrics with output queues is evaluated under different "speedups" of the queues, where the speedup is the operating clock rate ratio of that at the SE core to that over external links. Our simulation reveals that a small speedup of 2 is adequate for buffered switching fabrics comprising 4 ×8 SE's to deliver better performance than their unbuffered counterparts with 50% more stages of SE's, when the fabric size is 256. The buffered switching fabrics under our consideration are scalable and of low costs, ideally suitable for constructing high-performance routers with large numbers of line cards.
Support of cooperating and distributed business processes
Authors: G. Graw, V. Gruhn, H. Krumm
Venue: Proceedings of the 1996 International Conference on Parallel and Distributed Systems (1996)

Workflow management systems/business process management systems (BPMS) provide for an integral support of computer-based information processing, personal activities, business procedures and their relationships to organizational structures. They support the modeling and analysis of so-called business processes and offer means for the application-near design and implementation of computer-based business process assistance. Mainly, the BPMSs concentrate on the support of enterprise-internal processes. Our approach extends the scope of business process management. Enterprise-internal processes are viewed as sub-processes of global inter-enterprise processes. Additional global process assistance is based on the definition of global activity models and global information models. Features of dynamic naming and binding can be provided by business process brokers, which extend the concepts of object trading to the trading of opportunities to participate in global processes.
Chromatic sums of nonseparable simple maps on the plane
Authors: Zhaoxiang Li, Yanpei Liu
Venue: The Korean Journal of Computational Applied Mathematics (2003)

In this paper we study the chromatic sum functions for rooted nonseparable simple maps on the plane. The chromatic sum function equation for such maps is obtained. The enumerating function equation of such maps is derived by the chromatic sum equation of such maps. From the chromatic sum equation of such maps, the enumerating function equation of rooted nonseparable simple bipartite maps on the plane is also derived.
On complex variable method in finite elasticity
Authors: Ade Akinola
Venue: The Korean Journal of Computational Applied Mathematics (2003)

We highlight the alternative presentation of the Cauchy-Riemann conditions for the analyticity of a complex variable function and consider plane equilibrium problem for an elastic transversely isotropic layer, in finite deformation. We state the fundamental problems and consider traction boundary value problem, as an example of fundamental problem-one. A simple solution of "Lame's problem" for an infinite layer is obtained. The profile of the deformed contour is given; and this depends on the order of the term used in the power series specification for the complex potential and on the material constants of the medium.
Visual Simulation of Crack Pattern Based on 3D Surface Cellular Automaton
Authors: Stéphane Gobron, Norishige Chiba
Venue: Proceedings of the Seventh International Conference on Parallel and Distributed Systems: Workshops (2000)

This article describes a method for modeling the propagation of cracks on any 3D surface. Taking a previous cellular automata model as basis [13], this method allows about any type of cracks on any type of triangulated 3D object. Our model's main advantage is that it proposes a semi-physical solution, making it at the same time user controllable and easily extensible. After summarizing works in the literature, we make a brief and simple description of what physically are cracks and how they are generated. Based on this idea, we detail our model of crack propagation. We first introduce the general development of cracks. We then propose our original model of spectrum stress. This is followed by the description of the mutual interaction between cracks and stresses. Finally, a set of graphical examples, with their respective parameters, concludes this paper.
Schiestel''s derivation of the epsilon equation and two equation modeling of rotating turbulence
Authors: Zhou Robert Rubinstein and Ye
Venue:  (2001)

As part of a more general program of developing multiple-scale models of turbulence, Schiestel suggested a derivation of the homogeneous part of the dissipation rate transport equation. Schiestel''s approach is generalized to rotating turbulence. The resulting model reproduces the main features observed in decaying rotating turbulence. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
World Wide Web Marketing: Integrating the Web into Your Marketing Strategy, 3 edition
Authors: Jim Sterne
Venue:  (2002)

:Online marketing guru Jim Sterne shows how to apply classic marketing principles to the Internet. He also explains how to take full advantage of the exciting new marketing opportunities presented by the latest Web technologies. Writing for non-techies, he provides just enough detail to help you understand the Web's vast potential as a marketing medium without overwhelming you. In straightfoward language, supplemented with fascinating case studies, he tells you what you need to know to: Develop relationships with valued customers and build brand loyalty Use personalization tools that tailor content to individual users Mine valuable information about customers Use state-of-the-art select marketing techniques Advertise your site online and through traditional media Make the most of search engines and push technology Use banner advertising Measure the success of online marketing initiatives
The use of customized emphasis in text visualization
Authors: U. Manber
Venue: Proceedings of the IEEE Conference on Information Visualisation (1997)

The paper presents a technique to allow quick evaluation of the relevance of documents to one's interests. It is designed primarily for presenting documents on the World Wide Web, but it can also be used in other situations. The idea is to automatically highlight selected keywords in Web pages as they are shown. Users maintain lists of keywords of interest to them. At any given time, a user can activate any such list and from then on all words in that list will be highlighted automatically, transparently, and efficiently in all documents. Users can change lists at any time and also control several other highlighting parameters (such as the number of selected words). Extensions of this scheme, where documents are automatically changed in other ways based on readers' preferences, are also discussed.
Stabilization by multiscale decomposition
Authors: Silvia Bertoluzza
Venue:  (1997)

We take advantage of the results of norm characterization by multiscale decomposition to introduce a stabilized formulation of an abstract non coercive problem. The resulting stabilized problem is positive definite and can therefore be safely discretized by the Galerkin method. EMAIL:: ian@microian.ian.pv.cnr.it
The Maximum of a Random Walk and Its Application to Rectangle Packing
Authors: E. G. Coffman, Philippe J Flajolet, Flatto Leopold, Hofri Micha
Venue:  (1997)

Let $S_0, \ldots ,S_n$ be a symmetric random walk that starts at the origin ($S_0=0$), and takes steps uniformly distributed on $[-1,+1]$. We study the large-$n$ behavior of the expected maximum excursion and prove the estimate
Supported Coding Schemes. MATE Deliverable D1.1
Authors: Niels O Bernsen, Sarah Davies, Laila Dybkjær, Juanma Garrido, Henrik Kasch, Marion Klein, Andreas Mengel, Vito Pirrelli, Massimo Poesio, Silvia Quazza, Claudia Soria
Venue:  (1998)

The first step of the MATE project is to define an overall mark-up formalism which is based on the TEI/CES standards. This formalism accommodates the needs of current and emerging coding schemes for the level of prosody, (morhpo-) syntax, co-reference, dialogue acts, communication problems, and cross-level issues. In order to accomplish this one has to observe existing coding schemes. These schemes should have proved their reliability in the way that they have been used in systems by a couple of novice and / or expertise users for annotating a corpus of reasonable size. This report represents a survey of such coding schemes which fulfil this property. These coding schemes are described in detail with regard to their coding book, number of annotators working with it, number of annotated dialogues / segments / utterances, evaluation results, underlying task, list of annotated phenomena, and mark-up language used. Also annotation examples are provided.
A grammar view for editing structured documents
Authors: Mark Sifer, Yardena Peres, Yoelle Maarek
Venue: Proceedings of the Pan-Sydney area workshop on Visual information processing - Volume 11 (2001)

We propose simplifying the editing of structured documents that conform to Backus-Naur Form (BNF) grammars, by exposing and operating on the grammar itself. We introduce an original grammar view that supports browsing and editing of structured documents and is coordinated with the document view. The grammar view presents document element types in context to better support document editing. Both shading and font size scaling are used to create a focus area in the grammar view making it more scalable for larger grammars. We present an implementation of a grammar view for XML documents, in our XML editor, Xeena for Schema.
Why Is It so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice?
Authors: Nancy R. Mead
Venue: Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00) (2000)

I have worked in the requirements engineering area as a practitioner and also as a researcher. I have observed both obstacles and incentives to adopting new requirements engineering methods. This subject has been explored previously [1] [2], but remains an interesting area for those of us who would like to effect change.Practitioners must often deal with the obstacles associated with introducing new methods, and need help from researchers in convincing their project teams and management to try something new. Researchers, on the other hand, tend to feel that they are done and ready to move on to the next challenge, after they have produced a few journal articles and some prototype tools.Researchers and practitioners seldom work together on projects, so a gulf must be overcome in order for the researchers to understand what is useful to the practitioners, and for the practitioners to understand exactly what benefits can be derived from trying something new.Many of the obstacles and incentives result from the perceptions of researchers, practitioners, and management. Technology transition is successful when these perceptions are brought into alignment, and when the new method supports the needs of all three groups.