ppxscal/embedding_network huggingface dataset:
On the Number of Multilinear Partitions and the Computing Capacity of Multiple-Valued Multiple-Threshold Perceptrons.
Authors: Alioune Ngom, Ivan Stojmenovic, Jovisa Zunic
Venue: Proceedings of the Twenty Ninth IEEE International Symposium on Multiple-Valued Logic (1999)

We introduce the concept of multilinear partition of a point set V subset Rn and the concept of multilinear separability of a function f: V mapsto K = {0, \1dot, k-1\} Based on well- known relationships between linear partitions and minimal pairs, we derive formulae for the number of multilinear partitions of a point set in general position and of the set K2. The (n,k,s)- perceptrons partition the input space V into s+1 regions with s parallel hyperplanes. We obtain results on the capacity of a single (n,k,s)-perceptron, respectively for V \subset Rn in general position and for V=K2. Finally, we describe a fast polynomial-time algorithm for counting the multilinear partitions of K2.
Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study
Authors: Yerang Hur, Rafael Fierro, Insup Lee
Venue: Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2003)

We present the modeling and analysis of distributed autonomous robots using the specification language for hybrid systems, called CHARON. Coordination between distributedautonomous robots has attracted researchers of embedded and hybrid systems, since there has been increasing demand for multiple robots working together in a dynamically changing or unknown environment to carry out missions such as search and rescue, cooperative localization, and scouting and reconnaissance. To maximize the capability of performing tasks collaboratively as a team, formation control is one of crucial parts in developing distributedautonomous robots. In this paper, formation control of a team of robots is modeled using CHARON and the model is analyzed using simulation with assertion checking capability of the CHARON toolset.
Management through Vision: A Case Study towards Requirements of BizViz
Venue: Proceedings of the International Conference on Information Visualisation (2000)

BizViz (Business Visualization) is a rapidly growing phenomenon in the realm of visualization and information visualization. The main goal of BizViz is to support managers in their daily work of understanding forces within business processes and making decisions to control these forces. The case study presented in this paper illustrates the benefit of visualization at a social security institution (Gak) in the Netherlands. The prototype built, integrates both databases and simulation as information sources. These way managers can study the past and present as well as experiment with possible future situations. The intended contribution of this paper is twofold. First, it presents how visualization can (successfully) be applied in practice. It illustrates the benefit of BizViz in the social security domain. As a second contribution, the paper derives and discusses requirements that play an important role in visualization application development intended for decision-making support. 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
Optimizing information exchange in cooperative multi-agent systems
Authors: Claudia V. Goldman, Shlomo Zilberstein
Venue: Proceedings of the second international joint conference on Autonomous agents and multiagent systems (2003)

Decentralized control of a cooperative multi-agent system is the problem faced by multiple decision-makers that share a common set of objectives. The decision-makers may be robots placed at separate geographical locations or computational processes distributed in an information space. It may be impossible or undesirable for these decision-makers to share all their knowledge all the time. Furthermore, exchanging information may incur a cost associated with the required bandwidth or with the risk of revealing it to competing agents. Assuming that communication may not be reliable adds another dimension of complexity to the problem.This paper develops a decision-theoretic solution to this problem, treating both standard actions and communication as explicit choices that the decision maker must consider. The goal is to derive both action policies and communication policies that together optimize a global value function. We present an analytical model to evaluate the trade-off between the cost of communication and the value of the information received. Finally, to address the complexity of this hard optimization problem, we develop a practical approximation technique based on myopic meta-level control of communication.
Microsoft Office System Inside Out 2003
Authors: Michael J. Young, Michael Halvorson
Venue:  (2003)

This supremely organized reference packs hundreds of timesaving solutions, troubleshooting tips, and workarounds for Microsoft Access, Excel, FrontPage®, InfoPath™, OneNote™, Outlook®, PowerPoint®, and Word-all in concise, fast-answer format.
Collective Robotics Coherent Behaviour for Nanosystems with Sensor-Based Neural Motion
Authors: Adriano Cavalcanti, Robert A. Freitas Jr.
Venue: Proceedings of the 2002 IEEE International Conference on Artificial Intelligence Systems (ICAIS'02) (2002)

The authors present a new approach within advanced graphics simulations for the problem of nano-assembly automation and its application in medicine using collective robotics. The problem under study concentrates its main focus on autonomous control for nanorobot teams coordination as a suitable way to perform a large range of tasks and assembly manipulation in a complex environment. The presented paper summarizes distinct aspects of some techniquesrequired to achieve a successful nano-planning system design for a large number of cooperating autonomous agents and illustrates their three dimensional visualization in real time.
Object Technology for Building Adaptable and Evolvable Autonomous Decentralized Systems: Panel Position Paper
Authors: Bhavani Thuraisingham
Venue: Proceedings of the The Fourth International Symposium on Autonomous Decentralized Systems (1999)

Over the next several years current Autonomous Decentralized Systems (ADS) have to be migrated to new architectures. In addition, we also need to build new generation of ADSs. We believe that all types of object technologies will be key to building evolvable and adaptable ADSs. In the position paper we illustrate how these technologies can be used
Transaction Control For Cooperative Applications
Authors: Sridhar Ramaswamy, Stanley B. Zdonik
Venue:  (1991)

We analyze existing models of design transaction control systems. We use the following criteria: flexibility in specifying concurrency control, computational complexity of checking consistency, computational complexity of concurrency control, support for abstraction, and support for recovery. Based on this analysis, we propose a new way of doing concurrency control and recovery. We then discuss the advantages and limitations of this approach and outline open problems in this area.
An Alternative Source Code Analysis
Authors: James E. Kimble,  Jr., Lee J. White
Venue: Proceedings of the International Conference on Software Maintenance (ICSM'00) (2000)

All aspects of Software Engineering strive toward guaranteeing that an implemented algorithm performs the intended tasks. This paper will describe results in investigating the relationship between specifications and re-engineered code for data processing programs in COBOL, and develop strategies for assigning significance to identified differences. A modified F(p) notation representation of the program will be manipulated into a standard form, from which features, called program points, will be used to guide complexity reduction. Finally, backbone elements called threads will be identified to explore the equivalence between the specifications and the program, where each thread will represent a different behavior mode of the program.
A Dynamically Reconfigurable Mixed In-Order/Out-of-Order Issue Queue for Power-Aware Microprocessors
Authors: Yu Bai, R. Iris Bahar
Venue: Proceedings of the IEEE Computer Society Annual Symposium on VLSI (ISVLSI'03) (2003)

In this work we focus on power-aware solutions for theissue queue in an out-of-order superscalar processor. Wepropose two different schemes. Our first approach partitions the issue queue into FIFOs such that only the instructions at the head of each FIFO may request to issue. Wethen dynamically monitor the FIFO usage and disable FIFOs that are not being efficiently used. In our second approach we also use a FIFO scheme, but dynamically varythe number and size of each FIFO simultaneously while atthe same time keeping the total number of issue queue entries constant. We analyze both approaches and comparethem in terms of the performance and power reduction. Wefind that although the first scheme of completely disablingissue queue entries is more straight-forward to implement,it may not be the best option, particularly for floating pointapplications. Our best experimental result shows an average power saving of 27.3% in the issue queue with a performance degradation of only 2.7%.
Frameworks in Catalysis: pictorial notation and formal semantics
Authors: Kung-Kiu Lau, M. Omaghi, A. Wills
Venue: Proceedings of the 1st International Conference on Formal Engineering Methods (1997)

In OO Design, it is widely recognised that the distribution of tasks between objects and the contracts between them are key to effective design. In composing designs from reusable parts, the parts are therefore frameworks, namely descriptions of the interactive relationships between objects which participate in the interactions. Designs are then built by composing these frameworks, and any object in the final design will play (various) roles from several frameworks. Practitioners of OO Design use pictorial notations for design. However, in order to reason formally about design, we need a sound (formal) semantics for the diagrams. In this paper, we show that frameworks can be formalised as many-sorted theories, and then present a pictorial representation of such theories, developed in the Catalysis project.
Linking usability to software architecture patterns through general scenarios
Authors: Len Bass, Bonnie E. John
Venue: Journal of Systems and Software (2003)

Usability is an important quality attribute to be considered during software architecture design. Up to this point, usability has been served only by separating a system's user interface from its functionality to support iterative design. However, this has the effect of pushing revisions to achieve usability toward the end of the software development life cycle. Many usability benefits link directly to a variety of architectural tactics in addition to separation of the user interface and these benefits can be discovered early in the life cycle. For each of 27 scenarios, we identified potential usability benefits a user could realize and an architectural pattern that supports achievement of those benefits. We organized the scenarios into an emergent hierarchy of potential benefits to the user and into an emergent hierarchy of architectural tactics used in the supporting patterns. The range of architectural tactics identified in this hierarchy demonstrates that separation is far from the only architectural tactic necessary to support usability. We present techniques that permit important usability issues to be addressed proactively at architecture design time instead of retroactively after user testing.
The Cornell Robot System Design Report
Authors: Doug Campbell
Venue:  (1985)

This report describes a robot control system under development at Cornell University. The goal of the system is to demonstrate automatic generation of robot programs for mechanical assemblies that are specified by exploded diagrams. The structure and current capabilities of the system are discussed.
Avatars: a shifting interaction
Authors: Kristine Deray
Venue: Proceedings of the Pan-Sydney area workshop on Visual information processing - Volume 11 (2001)

The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in simulated three dimensional information spaces. This paper outlines the theoretical modelling for the visualization of a generic avatar template applicable to information spaces. Such a representation, it is theorised, would indicate semantic and structural meanings between contents of a document collection of an information space to a person. The depiction would be mapped to the visualization engine and represented in a three-dimensional information space. Avatars require some artificial intelligence, (AI), which indicates knowledge about the structure and contents of the underlying information, if they are to aide the user in tasks related to the information system. This paper proposes that such knowledge will be represented in the geometry and structure of the avatar visualised at the interface. In this manner, the design and form of the avatar functions as a content analysis tool representing interaction between users and an information space. The grouping of such representations would lend the added benefit of a history of notational avatars tracing the user's path in an information space over set duration. Using object orientated programming, variables are attached to the body, in this case, the avatar. Depending upon the user's interaction with the hypermedia system different patterns will occur.It is theorised that such an approach to the modelling of avatars would enhance the communication of knowledge and meaning in large data sets where recurring problems of navigation are compounded by the representation of scalability to users.
IP-Based Next-Generation Wireless Networks: Systems, Architectures, and Protocols, 1 edition
Authors: Jyh-Cheng Chen, Tao Zhang
Venue:  (2003)

:There are currently many types of wireless network, including PANs (personal area networks), WLANs (wireless local area networks), and outdoor cellular phone networks. In general these networks are not compatible with each other, but as the evolution of wireless systems continues it is envisaged that different networks will interact seamlessly. A key strategy in achieving this goal is to use IP (Internet protocol) as a universal protocol for all wireless systems. Today's complex landscape of wireless standards makes it difficult for engineers to develop the next wave of devices and networks. This book clarifies the situation by giving a detailed overview of the current state-of-the-art, and by providing a road-map for the evolution to IP-based wireless packet networks. Given the huge global investment that has gone into the setting up of 3G networks, there is a pressing need for a book on this topic.
A Mobile Agent-Based Active Network Architecture
Authors: Chih-Lin Hu, Wen-Shyen E. Chen
Venue: Proceedings of the Seventh International Conference on Parallel and Distributed Systems (2000)

Active networks enable customization of network functionality without the lengthy standard-mediated committee processes. Most of the works in the literature utilize the capsules or active packets as the means to transfer code information across active networks. In this paper, we propose an active network infrastructure based on mobile agents technologies. In our prototype implementation, mobile agents are the building blocks of carrying functional customizations, and the active nodes offer software application layers, the Agent Servers, to process mobile agent-specific customizations to facilitate network functionality. Both integrated and discrete operational models of network customizations are supported. In addition, for the application-specific protocol development and deployment, an abstract protocol structure and a protocol loading mechanism are presented. Furthermore, we provide an agent management/control mechanism and devise a protocol management/control mechanism. As a result, improved network functionality can be achieved.
Survivability of the Mars Lander
Authors: K. Kafadar, T. J. Carter, I. Chang, D. Duran, J. M. Ethredge, A. Gojanovic, W. Tilford, A. Tremayne, C. Uiyyasathian, M. Werner
Venue:  (2000)

Lockheed-Martin Company (LMCO) must design lander vehicles to survive their landings on the rock-strewn surface of the planet Mars. Given the basic structure of the lander and the characteristics of rocks that are likely to cover the planet''s surface, what is the probability that the lander will survive its mission? Students enrolled in mathematics course MATH 4779/5779 during the Spring 2000 semester developed an algorithm to simulate this probability. We characterize the distribution of rock features from previous Viking Lander missions and describe the components of a algorithm to simulate a rocky surface as well as the algorithm to determine whether the Lander survives the landing on Mars. We present some simulation results which indicate that rock density (average number of rocks per square meter) has a significant effect on the probability of a successful landing. Finally, we discuss other enhancements for future work, including a possible Monte Carlo Swindles to increase simulation efficiency and execution time.
The Flash Usability Guide: Interacting with Flash MX, 1 edition
Authors: Chris McGregor, Bob Regan, Crystal Waters, David Doull, Keran McKenzie
Venue:  (2002)

:"Usability makes everything easier, except the job of the developer. Usability is not easy. There are no macros to run on Macromedia Flash projects to apply usability. Applying usability requires a change in the development process. It requires a new method of thinking about a project from start to finish." - Chris McGregor, Macromedia Usability White Paper. With the latest MX release, Flash has taken a significant step towards becoming the standard tool for delivery of web content. This brings with it a whole range of new challenges for those working with Flash, the biggest of which is making sure that their Flash material can be easily used by everyone that it is intended for. This book isn't about stifling flair and creativity, this is about making sure that your viewers stick around to appreciate the fruits of your creativity (and your hard work), and that your skills stay current in a quickly changing web landscape. As suggested above, Usability is not an easy topic when you depart from crass dictatorial statements and into the real world. This book exists to take the role of the user's web experience seriously and to show you how to remember them when designing. As such, it could be the most valuable Flash MX book you'll read this year. Author Biography: Chris McGregor is the author of Macromedia's Usability White Paper and the man behind flazoom.com.
Issues in Participative Use of an Historic City Millennial Web Site
Venue: Proceedings of the International Conference on Information Visualisation (2000)

Staff at the University of the West of England (UWE) has been engaged with other agencies in a collaborative process to create a millennial web site for the citizens and city of Wells. The development of this site on the WWW is a part of a wider investigation which is both an attempt to understand the effective design of web-based records of localities in terms of content and structure, as well as to set up a method for recording historic sites. One of the primary goals has been to involve the maximum participation in this process by the citizens themselves.The pilot web site has offered a variety of techniques and media including VRML based hyper-linked 3D modeling and both synchronous and asynchronous means of participation. The initial goals are to: record the built environment at the turn of the millennium; integrate this with existing records and archives; create a vehicle for the general public to contribute to the records; and assist all sections of the community in gaining a richer understanding of their heritage. It is argued that the sense of local identity will be reinforced and discussion on the future development of the city and its environs will become better informed. Longer term outcomes, once the project has gained momentum, are to assist a critical understanding of our past, facilitating comparison with other aspects of our culture as well as of other cultures, and to provide the community with access to practical information on maintaining and conserving our heritage. Initial response has been mostly positive. This paper examines the expectations of the agencies involved, the manner in which these have been implemented on the Web using multi-media, and the feedback and response to date, which has in turn modified the focus of the project.
Fine-grained, dynamic user customization of operating systems
Authors: W. S. Liao, See-Mong Tan, R. H. Campbell
Venue: Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96) (1996)

Application performance can be improved by customizing the operating system kernel at run time. Inserting application code directly into the kernel avoids the costly protection-domain switches required in traditional interprocess communications. Our design for a customizable operating system structures the kernel as a set of object-oriented frameworks. The user can then perform fine-grained customization by subclassing kernel classes and inserting objects into the kernel. User code is written in a safe, object-oriented language (Sun's Java), which is interpreted or dynamically compiled in the kernel. Objects in the kernel, regardless of their origin, interact with each other seamlessly through ordinary object invocation. This extension technique has the advantage that a user can build directly on top of kernel frameworks using object invocation just as if the user were a system implementor without compromising system safety.
User studies informing E-table interfaces
Authors: Gary Marchionini, Xiangming Mu
Venue: Information Processing and Management: an International Journal (2003)

In this paper, we describe a series of user studies that were used to advance understanding of how people use electronic tables (E-tables) and inform the development of a web-based statistical table browser for use by non-specialists. Interviews and focus groups with providers, intermediaries, and non-specialist end users; transaction log analysis; and e-mail content analysis were used to develop a user-task taxonomy for government statistical data. These studies were the basis for a prototype web-based interface for browsing statistical tables. Two usability studies with 23 subjects and two eye-tracking studies with 21 subjects were conducted with this interface and paper, PDF, and spreadsheet interfaces. The results of the needs assessment, prototype development, and user studies provide a foundation for understanding E-tables in general and guiding continued design of interfaces for E-tables.