ppxscal/embedding_network huggingface dataset:
Virtual Decision Maker for Stock Market Trading as a Network of Cooperating Autonomous Intelligent Agents
Authors: Jacques Ajenstat, Peter Jones
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 1 - Volume 1 (2004)

The idea of a machine that can learn from its own interactions with the world has been one ofthe driving forces behind artificial intelligence research since its inception (Turing, 1950). Themotivation of this paper is to present and demonstrate the merits of a machine to assist a non-expert decision maker, in applying stock market hedging strategies that are typically usedby experts. The machine, called a Virtual Decision Maker (VDM), provides the processing power to deal with the very high granularity of such strategies while offering higher flexibility in choosing the trading frequency. More specifically, the VDM is a network of cooperating intelligent agents' technologies that can exploit automated on-line trading services at any time and any place without the physical presence of the decision maker. At present, the VDM is developed in an Excel-VB environment with agents that cooperate to (i) import the required stock market real time data, (ii) identify the opportunity of making a trade, (iii) formulate an appropriate strategy and (iv) execute of the corresponding order on the fly. The design of theVDM takes as its main premise the technological advantage of reduced reaction time, as opposed to attempting to anticipate a given security's movement. Results indicate in a disturbing manner that, given expert-validated knowledge, decision-making by cooperating and negotiation intelligent agents could lead to higher returns than commonly used indexes. In the conclusion, the idea of full automation is discussed in relation to the decision maker's behavioural and the cognitive issues.
Reverse Engineering the Process of Small Novice Software Teams
Authors: Ying Liu, Eleni Stroulia
Venue: Proceedings of the 10th Working Conference on Reverse Engineering (2003)

The software-development project success dependson the technical competence of the development team,the quality of its tools and the project-managementdecisions it makes during the software lifecycle. Newrequirements, tight delivery schedules and team-memberturnaround present the team with challenges.Flexible decision making for effective adaptation tothese challenges is an extremely difficult skill toacquire, and even more challenging to teach.Instructors of software-engineering courses involvingcollaborative project development are oftenoverwhelmed by the task of monitoring the progress ofmultiple teams and problems in the team's process maygo unnoticed until it is too late to be fixed.In this paper we describe our work on analyzingthe CVS history of a team project repository to extractinformation about the nature of the collaborationbetween the members of a team. This analysis cansupport the instructor in noticing evidence of potentialproblems who can then use this information to alert theteam. It can also be shown to the team membersthemselves, so that they become more aware of theirprocess. We evaluate our CVS analysis process with acase study, based on an undergraduate software-engineeringcourse.
Optimal Construction of Edge-Disjoint Paths in Random Regular Graphs
Authors: Alan M. Frieze, Lei Zhao
Venue: Combinatorics, Probability and Computing (2000)

Given a graph G = (V, E) and a set of &kappa; pairs of vertices in V, we are interested in finding, for each pair (ai, bi), a path connecting ai to bi such that the set of &kappa; paths so found is edge-disjoint. (For arbitrary graphs the problem is &Nscr;&Pscr;-complete, although it is in &Pscr; if &kappa; is fixed.)We present a polynomial time randomized algorithm for finding edge-disjoint paths in the random regular graph Gn,r, for sufficiently large r. (The graph is chosen first, then an adversary chooses the pairs of end-points.) We show that almost every Gn,r is such that all sets of &kappa; = &Omega;(n&#x002F;log n) pairs of vertices can be joined. This is within a constant factor of the optimum.
Untraceable blind signature schemes based on discrete logarithm problem
Authors: Cheng-Chi Lee, Wei-Pang Yang, Min-Shiang Hwang
Venue: Fundamenta Informaticae (2002)

With the help of a blind signature scheme, a requester can obtain a signature on a message from a signer such that the signer knows nothing about the content of the messages and is unable to link the resulting message-signature pair; namely, a blind signature scheme can achieve both blindness and untraceability. Due to the above properties, the blind signature scheme can be used in cryptographic applications such as electronic voting systems and cash payment systems. So far, most of the proposed blind signature schemes are based on the difficulty of solving the factoring problem and quadratic residues. In this paper, the authors intend to propose two new untraceable blind signature schemes based on the difficulty of solving the discrete logarithm problem. The two blind signature schemes are two variations of the DSA signature scheme and can fully satisfy all of the properties a blind signature scheme can have.
Creating the soundscape for Zagreb Everywhere
Authors: David Hahn
Venue: Organised Sound (2002)

Zagreb Everywhere (2001), a video portrayal of the city of Zagreb, Croatia, is the result of an international collaboration between writer Gordana Crnkovi&cacute; (Croatia), video artist Victor Ingrassia (US), and composer David Hahn (US), who collected sounds from Zagreb and together with some of his own music created the soundscape for the piece. Opposing stereotypes about the &lsquo;barbaric Balkans&rsquo; often reinforced by Western media during the recent war in that region, Zagreb Everywhere provides a unique view of Zagreb and its inimitable features, while at the same time showing the experiences of that city and its people as having a broad human appeal and resonance. The piece exists in two formats: (i) a stand-alone video work, and (ii) a multimedia performance piece with projected visual images, sound, and live narration. After a brief recounting of the genesis of the idea for Zagreb Everywhere and the main aesthetic aspects of the project, this paper discusses the methods in which the sounds were collected in the field and compiled, how these sounds were edited in the studio, and how the entire piece was assembled. Zagreb Everywhere premiered in May 2001 at the University of Washington in Seattle. 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
Internet traffic engineering: qos translation and survivability
Authors: Ming T. Liu, Wu-Chi Feng
Venue:  (2003)

The problem of traffic engineering has been widely recognized as critical to the development of operational Internet. Traffic engineering involves evaluation and optimization of the performance of operational IP networks. This thesis studies the performance evaluation problem from the perspectives of the users and the providers. Scalability requirements necessitate the use of an analytical framework to translate network level service quality in terms of the performance of user level applications. This thesis presents an important building block for such a framework in the form of an analytical model for TCP throughput prediction using easily available input information. Evaluating the performance of the networks from the providers' perspective naturally involves taking into account the service quality requirements of the users. The ever-increasing dependence on the Internet has made it important that the Internet service can survive the failures in the networks. The cost of survivability and the speed of recovery constitute the two important aspects of the network survivability. This thesis evaluates the cost of network operation for the providers taking into account the survivability requirements. This is followed by an investigation into the role of simple topological modifications in reducing the cost of survivability. The speed of recovery problem is studied from the perspective of different time scales. At the macro time scale, the objective is to enable fast detection and correction of network failures by the network administrators. This thesis compares the two most relevant alternatives for the purpose. At the micro time scale, the objective is fast rerouting of the traffic around the failures by the in-built survivability mechanisms while the failures have not yet been corrected. This thesis investigates the operation of popular survivability mechanisms operating at the IP and optical layers and suggests ways and means of improving their speed of recovery from network failures.
Conveying conversational cues through video
Authors: Pat Hanrahan, Terry Winograd
Venue:  (2003)

Visual conversational cues such as hand gestures, lip movements, and eye contact can be conveyed through a video medium. However, existing videoconferencing systems often subtly distort these conversational cues such that the person, rather than the medium, is viewed with negative attributes. For example, a delayed response due to video transmission may cause the person to be viewed as slow. Lip movements not synchronized with speech due to video compression may cause the person to be viewed as less credible. And difficulties with eye contact due to camera placement may cause the person to be viewed as unfriendly. In this dissertation, we describe empirical findings and novel algorithms for conveying floor control hand gestures, lip movements, and eye contact over the video medium. We describe (1) a variable frame rate streaming algorithm based on our finding that the average video frame rate can be reduced to one frame every few seconds and still allow effective floor control if hand movements are transmitted without delay; (2) a low latency lip synchronization algorithm based on our finding that audio can temporarily lead video and still be perceived as synchronized if the audio and video are brought into synchrony within a short period; and (3) an eye contact algorithm based on our finding that the sensitivity to eye contact is asymmetric, in that we are less sensitive to eye contact when people look below our eyes than when they look to the left, right, or above our eyes. We implemented our algorithms in a scalable software-based visual communication system called the Video Auditorium. The implementation of Video Auditorium is motivated by our 6-month classroom observational study of Stanford Online that found that when the instructor cannot see the remote students, there is essentially no interaction with them. We used Video Auditorium to visually connect students in Germany, Sweden, Slovenia, and Berkeley with Stanford in a 4-month pilot class, and found that when the instructor can see the remote students, the remote interaction is as rich and rewarding as the interaction with the local students.
Lattice-based tagging using support vector machines
Authors: James Mayfield, Paul McNamee, Christine Piatko, Claudia Pearce
Venue: Proceedings of the twelfth international conference on Information and knowledge management (2003)

Tagging algorithms have become increasingly important for identifying lexical and semantic features of unstructured text. We describe an approach to lattice-based tagging that estimates joint transition and emission probabilities using support vector machines. The technique offers several advantages over alternative methods, including the ability to accommodate non-local features, support for hundreds of thousands of features, and language-neutrality. We demonstrate the technique on two tagging applications: named entity recognition and part-of-speech tagging.
Simultaneous Measurements of Pressure, Electric Charge and Transmitted Light Intensity During the Extrusion of Polymer Melts
Authors: E. Moreno-García, J. Pérez-González, B. M. Marín-Santibáñez, F. Rodríguez González
Venue: Proceedings of the 14th International Conference on Electronics, Communications and Computers (2004)

The simultaneous measurement and record ofpressure, as well as the electric charge and transmittedlight intensity in an extrudate allows one to study the flowinstabilities occurring in the extrusion of linear polymermelts. An experimental procedure to carry outmeasurements of these variables during the continuousextrusion of polymer melts was developed. A board withconditioning circuits to handle the analog signals comingfrom the transducers was built for this purpose. Thegenerated voltages by these circuits are sent to a dataacquisition board in order to measure and record thevariables of interest by means of a personal computer. Aprogram was written in the graphical programminglanguage G of LabVIEWTM, which permits thevisualization and plotting of the physical variables in realtime. The program is also able to store the measured dataand presents options to filter the signals and to obtaintheir frequency spectrum. The system was successfullytested in the study of the unstable flow of linearpolyethylene melts.
Teaching an old robot new tricks: learning novel tasks via interaction with people and things
Authors: Matthew J. Marjanovic
Venue:  (2003)

As AI has begun to reach out beyond its symbolic, objectivist roots into the embodied, experientialist realm, many projects are exploring different aspects of creating machines which interact with and respond to the world as humans do. Techniques for visual processing, object recognition, emotional response, gesture production and recognition, etc., are necessary components of a complete humanoid robot. However, most projects invariably concentrate on developing a few of these individual components, neglecting the issue of how all of these pieces would eventually fit together. The focus of the work in this dissertation is on creating a framework into which such specific competencies can be embedded, in a way that they can interact with each other and build layers of new functionality. To be of any practical value, such a framework must satisfy the real-world constraints of functioning in real-time with noisy sensors and actuators. The humanoid robot Cog provides an unapologetically adequate platform from which to take on such a challenge. This work makes three contributions to embodied AI. First, it offers a general-purpose architecture for developing behavior-based systems distributed over networks of PC's. Second, it provides a motor-control system that simulates several biological features which impact the development of motor behavior. Third, it develops a framework for a system which enables a robot to learn new behaviors via interacting with itself and the outside world. A few basic functional modules are built into this framework, enough to demonstrate the robot learning some very simple behaviors taught by a human trainer. A primary motivation for this project is the notion that it is practically impossible to build an &ldquo;intelligent&rdquo; machine unless it is designed partly to build itself. This work is a proof-of-concept of such an approach to integrating multiple perceptual and motor systems into a complete learning agent. (Copies available exclusively from MIT Libraries, Rm. 14-0551, Cambridge, MA 02139-4307. Ph. 617-253-5668; Fax 617-253-1690.)
The Best Trail Algorithm for Assisted Navigation of Web Sites
Authors: Richard Wheeldon, Mark Levene
Venue: Proceedings of the First Conference on Latin American Web Congress (2003)

We present an algorithm called the Best Trail Algorithm, which helps solve the hypertext navigation problem by automating the construction of memex-like trails through the corpus. The algorithm performs a probabilistic best-first expansion of a set of navigation trees to find relevant and compact trails. We describe the implementation of the algorithm, scoring methods for trails, filtering algorithms and a new metric called potential gain which measures the potential of a page for future navigation opportunities.
Institutional Theory: A New Perspective for Research into IS/IT Security in Organisations
Authors: Fredrik Björck
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 7 - Volume 7 (2004)

The aim of this position paper is to argue for the suitability of an institutional perspective in IS/IT (Information Systems/Information Technology) security research. Institutional theory, including some of its central concepts, is presented, along with examples of how it has been used in information systems research. A discussion of how the theory could benefit managerialIS/IT research concludes the paper.
Analysis, detection, and modeling of attacks in computer communication networks
Authors: William H. Allen
Venue:  (2003)

This dissertation begins with the description and analysis of a certain class of denial of service attacks along with an overview of techniques and tools used to discover and analyze them. Two new solutions to the problem of detecting this type of attack are introduced, developed, and evaluated. We demonstrate that one of these techniques can detect an average of 84% of the attacks and the other detects an average of 96%, all with no occurrence of a false alarm. (In this arena the latter may be more important than the former.) Having experienced first-hand the difficulty of creating a controlled environment for testing new attack detection techniques, we then describe the problems in this area and develop a new tool to be used in modeling and generating attacks. The first detection technique is based on an in-depth analysis of an invariant traffic characteristic that appears to be affected by certain types of network attack. The main benefits of detecting attacks by monitoring traffic invariants are that (1) no prior knowledge of the attack's behavior is needed and (2) no template of &lsquo;normal&rsquo; traffic activity is needed. The second technique is based on detecting abnormalities in a measurable traffic characteristic and although a traffic template is required, it does not require prior knowledge of the behavior of attacks, an advantage over some types of anomaly-based detectors.
An endochronic plasticity model for finite strain deformation of powder forming processes
Authors: A. R. Khoei, A. Bakhshiani, M. Mofid
Venue: Finite Elements in Analysis and Design (2003)

In this paper, the numerical modeling of powder-forming process is simulated by a finite element analysis using a density-dependent endochronic plasticity model. Endochronic constitutive model based on large strain plasticity is presented. The elastic response is stated in terms of hypoelastic model and the endochronic plasticity constitutive equations are developed in unrotated frame of reference. Constitutive equations of the endochronic theory in large strain state and their numerical integrations are established. The algorithmic modulus consistent with the numerical integration algorithm of constitutive equations is extracted. Finally, the numerical schemes are examined for efficiency in the modeling of a multi-level and tip shape powder compaction component.
New algorithms for the iterative refinement of estimates of invariant subspaces
Authors: K. Hüper, P. Van Dooren
Venue: Future Generation Computer Systems (2003)

New methods for refining estimates of invariant subspaces of a non-symmetric matrix are presented. We use global analysis to show local quadratic convergence of our method under mild conditions on the spectrum of the matrix.
A Synergistic Interweaving of Formal and Informal Methods
Authors: W. L. Yeung, Karl R. P. H. Leung
Venue: Proceedings of the 27th Annual International Conference on Computer Software and Applications (2003)

In most studies of bridging between informal specifications,formal specifications are transformed frominformal specifications after completion of specificationof the whole system. Most of these formal specificationsare used for rigorous study of the system inquestion, consistency checking, verification of behavioror support system synthesis. During the process ofsystem specification, the strength of formal and informalmethods are not complementing to each other. Weidentified a new specification approach which makesformal methods and informal methods complementeach other to a greater extent. This new method interweavesformal methods with informal methods. Wefind out that this method leads to better quality of specifications,facilitate better changes management andmaintenance. This is particular useful during initialspecification of systems which is the first stage of specifyinginformal world in some formal languages. Wereport our preliminary findings of this novel approachin this paper and exemplify our approach with an examplein JSD and CSP.
An empirical study of human-computer interaction usability factors affecting perceptions of trust of e-health consumers
Authors: Ann L. Vannoy Fruhling
Venue:  (2003)

A critical challenge facing organizations today is to develop a web presence that is not only compelling to the consumer, but also establishes trust. This study focuses on an e-business environment that requires establishing trust relationships between an organization and consumers in the context of exchanging personal information using an e-health care service. E-business includes using the convenience, availability, and global reach of electronic media to enhance existing businesses and create new virtual businesses. E-business is often categorized as: internal transactions using an Intranet, business-to-business (B2B) transactions through an Extranet, and business-to-consumer (B2C) transactions over the Internet. B2B transactions have had remarkable economic growth; however, B2C transactions have lagged behind. One of the most often cited reasons for this lag are consumers' fear of divulging personal data over the Internet. Consumers simply do not trust web providers enough to engage in &ldquo;relationship exchanges&rdquo; that involve money and personal information. Specifically, this study investigated the effect of Human-Computer Interaction (HCI) usability factors on consumers' perception of trust when using e-health services. The study also examined the importance of an individual's trust propensity and the influence of the severity of the health problem. This research confirmed that HCI usability factors are essential elements in conveying the trustworthiness of a web-based system and do affect consumers' perception of trust in personal relationship-based information exchanges. Further, the results indicate that consumers who have a high trust propensity rate the trustworthiness of a web-based system higher than individuals with a low trust propensity, and that the severity of the health problem does influence trustworthiness. This research will help web developers better understand which usability factors effect the users' perception of trust and will aid in designing websites that impart trustworthiness. Secondly, this study broadened the research field by examining HCI usability factors and trust from a personal-information exchange perspective. Lastly, this research addressed how HCI usability factors can assist in better enabling e-health technologies.
Arithmetic Reasoning in DPLL-Based SAT Solving
Authors: Markus Wedler, Dominik Stoffel, Wolfgang Kunz
Venue: Proceedings of the conference on Design, automation and test in Europe - Volume 1 (2004)

We propose a new arithmetic reasoning calculus to speed up a SAT solver based on the Davis Putnam Longman Loveland (DPLL) procedure. It is based on an arithmetic bit level description of the arithmetic circuit parts and the property. This description can easily be provided by the front-end of an RTL property checker. The calculus yields significant speedup and more robustness on hard SAT instances derived from the formal verification of arithmeticcircuits.