ppxscal/embedding_network huggingface dataset:
Six in the city: introducing Real Tournament - a mobile IPv6 based context-aware multiplayer game
Authors: Keith Mitchell, Duncan McCaffery, George Metaxas, Joe Finney, Stefan Schmid, Andrew Scott
Venue: Proceedings of the 2nd workshop on Network and system support for games (2003)

It is rapidly becoming clear that entertainment will be one of the killer applications of future wireless networks. More specifically mobile gaming is predicted to be worth $1.2 billion by the year 2006 to providers in the U.S. alone [20]. The driving force behind this is the introduction of powerful feature rich handsets and ubiquitous access to high performance wireless networks. However, mobile applications face issues that are subtly different from fixed network applications, including fluctuating connectivity, network QoS and host mobility issues. To investigate the requirements of future mobile applications we have deployed a wireless MAN consisting of GPRS and IEEE 802.11 hotspots based on Mobile IPv6 around the city of Lancaster and have built an augmented reality game designed to evaluate future mobile application requirements.In this paper we introduce Real Tournament, a prototype multi-player mobile game, which uses handheld computers augmented with an array of sensors to enable true mobile interaction in a real-world environment. We then evaluate current approaches to real-time interaction and follow by outlining our own architecture more suited to wireless environments and based on the peer-to-peer approach. The approach provides adaptation, shared state, and consistency mechanisms in order to provide support for scalable, low latency, soft real time mobile applications.
Sturm-Liouville problems with eigendependent boundary and transmissions conditions
Authors: Z. Akdoǧan, M. Demirci, O. Sh. Mukhtarov
Venue: Proceedings of the international conference on Computational methods in sciences and engineering (2003)

It is well-known that the sturmian theory is an important aid in solving many problems in mathematical physics. Therefore this theory is one of the most actual and extensively developing fields in spectral analysis of boundary-value problems. Basically it has been investigated boundary-value problems which consist of ordinary differential equations with continuous coefficients and end-point boundary conditions.
The role of virtual multicultural teams in corporate culture
Authors: Amira El Guindi, Sherif Kamel
Venue: Advanced topics in global information management (2003)

Information and communication technologies are impacting today's organizations and businesses in many diverse ways. The implications are perceived at the individual, organizational, and national levels. The old accustomed-to boundaries of national economies and markets are giving way to globalization and newly emerging trends. Competition is increasing, and due to the forces of change, the world market will sweep aside the small market players to make way for global organizations that are capable of penetrating the world markets through a maisive global outreach strategy. In that respect, there is a need to invest in innovative business models such as virtual multicultural teams that are capable of handling the pressures of growing competition while capitalizing on the evolution of information and communication technology.Global organizations need to operate through a very flexible structure that allows freedom and speed, and replaces the hierarchical models with structures that are flatter and adequate for stronger and more efficient communication. Such a structure will allow bottom-up decision making and self-management and will capitalize on the advantages of employing multicultural teams; the diversified capacities, knowledge and business perception of these teams will be conducive to more in-depth innovation and creativity. Virtual teams can provide an organization with a solid opportunity to compete, making it easier to adapt to different situations and reducing conflicts. This chapter reflects the results of a study conducted in Egypt that targeted the determination of the possibility of reducing multicultural team conflicts by establishing a corporate culture that could have a strong influence on team members using virtual teams. The study covered six organizations operating through virtual multicultural teams and describes the analysis of the findings that relate to the role of corporate culture, the management style, and conflict resolution, among other elements.Global organizations face the challenge of operating through global multicultural teams whose members--coming from different cultural backgrounds--often stumble into conflicts that influence the overall performance of the organization. The core issue of this study is the impact of multicultural team conflicts on the overall organizational performance. Therefore, the objective of the study was to examine the relationship between corporate culture and multicultural team conflicts and to determine whether it is possible to reduce multicultural team conflicts by building a corporate culture in which all individual cultures would fit and where the management plays a vital role in transmitting the corporate culture to different teams in order to help global organizations become more efficient using virtual multicultural teams.
Declarative specification and declarative programming
Authors: Manfred Broy
Venue: Proceedings of the 6th international workshop on Software specification and design (1991)

A formalism for declarative specification and programming is introduced that forms a logical and methodological framework for program and system specification and construction. It combines axiomatic techniques based on logical concepts for specifying properties and the possibility to introduce names for objects. In particular it comprises within one formalism the possibilities of formulating specifications and defining algorithms. The logical formalism is based more or less on typed predicate logic. The development rules are particular proof rules together with the inference rules of predicate logic. As a special aspect we consider logical formulas which explicitly specify typed identifiers as elements of signatures.
Recognizing image &#x0022;style&#x0022; and activities in video using local features and naive Bayes
Authors: Daniel Keren
Venue: Pattern Recognition Letters (2003)

The goal of this paper is to offer a framework for classification of images and video according to their "type", or "style"--a problem which is hard to define, but easy to illustrate; for example, identifying an artist by the Style of his/ her painting, or determining the activity in a video sequence. The paper offers a simple classification paradigm based on local properties of spatial or spatio-temporal blocks. The learning and classification are based on the naive Bayes classifier. A few experimental results are presented.
Performance and scalability of mobile wireless base-station-oriented networks
Authors: Stuart D. Milner, Sohil Thakkar, Karthikeyan Chandrashekar, Wei-Lun Chen
Venue: ACM SIGMOBILE Mobile Computing and Communications Review (2003)

This paper focuses on the performance and scalability of mobile, base-station-oriented wireless networks, which have been the subject of research and development projects sponsored by the Defense Advanced Research Projects Agency. The background and rationale for such networks is presented as well as performance and scalability analyses of their routing, mobility, and quality of service models. Using systems-oriented, large-scale discrete event simulation, both performance scalability and complexity scalability are analyzed. Performance scalability addresses the effect of network size on system performance. Complexity scalability, in this case, consists of communication complexity (i.e., amount of control information exchanged to create and maintain network connectivity). Results confirmed that the scalability of base station oriented networks using the routing, and mobility model, and the quality of service models enhanced performance, using over 2,000 fully dynamic hosts and routers.
An Improved MAC Protocol for Wireless Local Access Network
Authors: Zhihui Chen, Ashfaq Khokhar
Venue: Proceedings of the 28th Annual IEEE International Conference on Local Computer Networks (2003)

Wireless LAN has become increasingly popular as amedium to connect portable devices to the network. Insuch networks multiple stations share a common wirelesschannel. However, current media access control (MAC)protocols in these networks assume that the wirelesschannel capacity is time invariant for a single user andthus assign radio resources accordingly. This results inpoor channel utilization particularly when channel getsassigned to stations that are in deep fading. In this paper,we devise an improved handshake procedure that assignschannel according to its fading status observed by eachstation and thus improve channel utilization. We givetheoretical analysis of the overhead due to handshakeprocedure. Our analysis and simulation results show thatthe proposed protocol can ameliorate the contentionamong multiple users. This results in improving thechannel throughput in the range of 43% to 850%,depending on the number of users and channelconditions.
Separation and information hiding
Authors: Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
Venue: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2004)

We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resources of a module from those accessed by the module's clients. The use of a logical connective gives rise to a form of dynamic partitioning, where we track the transfer of ownership of portions of heap storage between program components. It also enables us to enforce separation in the presence of mutable data structures with embedded addresses that may be aliased.
Mining Plans for Customer-Class Transformation
Authors: Qiang Yang, Hong Cheng
Venue: Proceedings of the Third IEEE International Conference on Data Mining (2003)

We consider the problem of mining high-utility plansfrom historical plan databases that can be used to transformcustomers from one class to other, more desirable classes.Traditional data mining algorithms are focused on findingfrequent sequences. But high frequency may not imply lowcosts and high benefits. Traditional Markov Decision Process(MDP) algorithms are designed to address this issueby bringing in the concept of utility, but these algorithmsare also known to be expensive to execute. In this paper,we present a novel algorithm AUPlan which automaticallygenerates sequential plans with high utility by combiningdata mining and AI planning. These high-utility plans couldbe used to convert groups of customers from less desirablestates to more desirable ones. Our algorithm adapts theApriori algorithm by considering the concepts of plans andutilities. We show through empirical studies that planningusing our integrated algorithm produces high-utility plansefficiently.
On matrix perturbations with minimal leading Jordan structure
Authors: Claude-Pierre Jeannerod
Venue: Journal of Computational and Applied Mathematics (2004)

We show that any matrix perturbation of an n × n nilpotent complex matrix is similar to a matrix perturbation whose leading coefficient has minimal Jordan structure. Additionally, we derive the property that, for matrix perturbations with minimal leading Jordan structure, the sufficient conditions of Lidskii's perturbation theorem for eigenvalues are necessary too. It is further shown how minimality can be obtained by computing a similarity transform whose entries are polynomials of degree at most n. This relies on an extension of both Lidskii's theorem and its Newton diagram-based interpretation.
DIS@DIS: A System for Semantic Data Integration under Integrity Constraints
Authors: Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi
Venue: Proceedings of the Fourth International Conference on Web Information Systems Engineering (2003)

The recent developments of Computer and Telecommunication technology, such as the expansion of the Internet and the World Wide Web, have made available to users a huge number of information sources, generally autonomous, heterogeneous and widely distributed. As a consequence, information integration has emerged as a crucial issue in many application domains, e.g., distributed databases, cooperative information systems, data warehousing, as well as in accessing distributed data over the web.In this paper we present DIS@DIS1, a state-of-the-art system for semantic data integration, that is capable of reasoning about integrity constraints in order to improve queryanswering. As usual in data integration systems [9, 5, 8], DIS@DIS provides a uni.ed view of different sources, called global schema, which can be queried by the user. Thus, the user does not interact with the sources, but gets reconciled information through the system that is in charge of accessing relevant sources and retrieving requested data.
RegReg: a Lightweight Generator of Robust Parsers for Irregular Languages
Authors: Mario Latendresse
Venue: Proceedings of the 10th Working Conference on Reverse Engineering (2003)

In reverse engineering, parsing may be partially doneto extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors andembedded languages is a difficult task using context-freegrammars. Several researchers have proposed some formof lexical analyzer to parse such code. We present alightweight tool, called RegReg, based on a hierarchy oflexers described by tagged regular expressions. By using tags, the automatically generated parse tree can beeasily manipulated. The ability to control the matchingrule mechanism for each regular expression increases efficiency and disambiguation choices. RegReg is lightweightas it uses a minimal number of features and its implementation uses only deterministic automaton. It has been implemented in Scheme which allows extending the tool in afunctional programming style. We demonstrate how RegReg can be used to implement island and fuzzy parsing.RegReg is publicly available under a BSD-like license.
Deterministic broadcasting in ad hoc radio networks
Authors: Bogdan S. Chlebus, Leszek Gasieniec, Alan Gibbons, Andrzej Pelc, Wojciech Rytter
Venue: Distributed Computing (2002)

We consider the problem of distributed deterministic broadcasting in radio networks of unknown topology and size. The network is synchronous. If a node u can be reached from two nodes which send messages in the same round, none of the messages is received by u. Such messages block each other and node u either hears the noise of interference of messages, enabling it to detect a collision, or does not hear anything at all, depending on the model. We assume that nodes know neither the topology nor the size of the network, nor even their immediate neighborhood. The initial knowledge of every node is limited to its own label. Such networks are called ad hoc multi-hop networks. We study the time of deterministic broadcasting under this scenario.For the model without collision detection, we develop a linear-time broadcasting algorithm for symmetric graphs, which is optimal, and an algorithm for arbitrary n-node graphs, working in time O(n11/6). Next we show that broadcasting with acknowledgement is not possible in this model at all.For the model with collision detection, we develop efficient algorithms for broadcasting and for acknowledged broadcasting in strongly connected graphs.
The leapfrog effect: information needs for developing nations
Authors: Stewart T. Fleming
Venue: Managing globally with information technology (2003)

Developing countries have special needs for information and communication. In the rush towards globalization of economies and communications, there is a danger that developing nations will get left behind. If we are to close the gap between the "information rich" and "information poor," then we must take these specific needs into account. This chapter gives an account of some development problems and current initiatives and describes ways in which advancing technology can be manipulated by the developing world to gain social advantage. The term "leapfrog effect" is introduced to explain how advancement can be made in a revolutionary fashion, not incrementally. The chapter draws on the author's direct experiences in Papua New Guinea, but many of the examples given and lessons learnt are applicable to many other developing nations.
Behavioral Verification of Distributed Concurrent Systems with BOBJ
Authors: Joseph Goguen, Kai Lin
Venue: Proceedings of the Third International Conference on Quality Software (2003)

Following a brief introduction to classical and behavioralalgebraic specification, this paper discusses the verificationof behavioral properties using BOBJ, especially its implementationof conditional circular coinductive rewriting withcase analysis. This formal method is then applied to provingcorrectness of the alternating bit protocol, in one of itsless trivial versions. We have tried to minimize mathematicsin the exposition, in part by giving concrete illustrationsusing the BOBJ system.
Evaluating the Effects of SEUs Affecting the Configuration Memory of an SRAM-Based FPGA
Authors: M. Bellato, P. Bernardi, D. Bortolato, A. Candelori, M. Ceschia, A. Paccagnella, M. Rebaudengo, M. Sonza Reorda, M. Violante, P. Zambolin
Venue: Proceedings of the conference on Design, automation and test in Europe - Volume 1 (2004)

This paper analyses the effects of Single Event Upsets in an SRAM-based FPGA, with special emphasis for the transient faults affecting the configuration memory. Two approaches are combined: from one side, by exploiting the available information and tools dealing with the device configuration memory, we were able to make hypothesis on the meaning of every bit in the configuration memory. From the other side, radiation testing was exploited to validate the hypothesis and to gather experimental evidence about the correctness of the obtained results. As a major result, we can provide detailed information about the effects of SEUs affecting the configuration memory of a commercial FPGA device. As a second contribution, we describe a method for obtaining the same result with similar devices. Finally, the obtained results are crucial to allow the possible usage of SRAM-based FPGAs in safety-critical environments, e.g., by working on the place and route strategies of the supporting tools.
On Optimal Multiresolution Source-Channel Coding across Degraded Broadcast Channels
Authors: Ertem Tuncel
Venue: Proceedings of the Conference on Data Compression (2004)

Inspired by a converse result, the concept of "probabilistically matched"sources and channels is extended to sources subject to multiresolution codingand degraded broadcast channels. Unlike in the point-to-point communicationscenarios, however, due to the lack of a separation principle or a completecharacterization for achievable cost-distortion triplets, matching of the sourceand the channel constitutes only a sufficient condition for optimality.
Multilingual Information Retrieval Using Machine Translation, Relevance Feedback and Decompounding
Authors: Aitao Chen, Fredric C. Gey
Venue: Information Retrieval (2004)

Multilingual retrieval (querying of multiple document collections each in a different language) can be achieved by combining several individual techniques which enhance retrieval: machine translation to cross the language barrier, relevance feedback to add words to the initial query, decompounding for languages with complex term structure, and data fusion to combine monolingual retrieval results from different languages. Using the CLEF 2001 and CLEF 2002 topics and document collections, this paper evaluates these techniques within the context of a monolingual document ranking formula based upon logistic regression. Each individual technique yields improved performance over runs which do not utilize that technique. Moreover the techniques are complementary, in that combining the best techniques outperforms individual technique performance. An approximate but fast document translation using bilingual wordlists created from machine translation systems is presented and evaluated. The fast document translation is as effective as query translation in multilingual retrieval. Furthermore, when fast document translation is combined with query translation in multilingual retrieval, the performance is significantly better than that of query translation or fast document translation.
V-cycle convergence of some multigrid methods for ill-posed problems
Authors: Barbara Kaltenbacher
Venue: Mathematics of Computation (2003)

For ill-posed linear operator equations we consider some V-cycle multigrid approaches, that, in the framework of Bramble, Pasciak, Wang, and Xu (1991), we prove to yield level independent contraction factor estimates. Consequently, we can incorporate these multigrid operators in a full multigrid method, that, together with a discrepancy principle, is shown to act as an iterative regularization method for the underlying infinite-dimensional ill-posed problem. Numerical experiments illustrate the theoretical results.
Promoting computer use in the social studies: a dissemination effort
Authors: Donald Holznagel, Daniel Klassen
Venue: ACM SIGCUE Outlook (1975)

This paper describes one attempt to promote and extend the use of the computer to enhance instruction in the social studies at the secondary level, through simulation and data-base inquiry. This dissemination effort involved the resources of federal, state and regional projects. The effort resulted in the training of 200 teachers, and the development of several computer-based curriculum units.
A new swarm mechanism based on social spiders colonies: from web weaving to region detection
Authors: Christine Bourjot, Vincent Chevrier, Vincent Thomas
Venue: Web Intelligence and Agent Systems (2003)

In multi-agent systems, the reactive approach emphasizes on the individual simplicity in comparison to the collective complexity of the task being performed. However, to apply such an approach to solve a problem, the components of the multi-agent system have to be designed such as the society is able to fulfill its requirements with a reasonable efficiency. Taking inspiration from natural swarm systems is a way to solve this conception issue.This article presents a new swarm mechanism inspired by the simulation of the collective weaving in social spiders. The main difference from existing mechanisms is the possibility in the spider model to integrate non-local information in local processing. In this paper, we describe the simulation model and its transposition to a specific application case: the extraction of regions in an image. Some experiments conducted on real gray level images are detailed together with studies about the influence of the different algorithm parameters on its performance.