ppxscal/embedding_network huggingface dataset:
The Challenges Of Case Design Integration In The Telecommunication Application Domain
Authors: Luiz Fernando Capretz
Venue: Journal of Integrated Design Process Science (2003)

The magnitude of the problems facing the telecommunication software industry is presently at a point at which software engineers should become deeply involved. This paper presents a research project on advanced telecommunication technology carried out in Europe, called BOOST (Broadband Object-Oriented Service Technology). The project involved cooperative work among telecommunication companies, research centres and universities from several countries. The challenges to integrate CASE tools to support software development within the telecommunication application domain are discussed. A software process model that encourages component reusability, named the X model, is described as part of a software life cycle model for the telecommunication software industry.
Automatic Keyword Extraction Using Linguistic Features
Authors: Xinghua Hu, Bin Wu
Venue: Proceedings of the Sixth IEEE International Conference on Data Mining - Workshops (2006)

This paper describes a novel keyword extraction algorithm Position Weight (PW) that utilizes linguistic features to represent the importance of the word position in a document. Topical terms and their previous-term and next-term co-occurrence collections are extracted. To measure the degree of correlation between a topical term and its co-occurrence terms, three methods are employed including Term Frequency Inverse Term Frequency (TFITF), Position Weight Inverse Position Weight (PWIPW), and CHI-Square (÷2). The co-occurrence terms that have the highest degree of correlation and exceed a co-occurrence frequency threshold are combined together with the original topical term to form a final keyword. With the linear computational complexity of the algorithm, the vector space of documents in a large corpus or boundless web can be quickly represented by sets of keywords, which makes it possible to retrieve large-scale information fast and effectively.
A Parallel P2P Branch-and-Bound Algorithm for Computational Grids
Authors: Ahcene Bendjoudi, Nouredine Melab, El-Ghazali Talbi
Venue: Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (2007)

Solving exactly Combinatorial Optimization Problems (COPs) using a Branch-and-Bound algorithm requires a huge amount of computational resources. The efficiency of such algorithm can be improved by distributing at large scale the computation required by the exploration of the search tree. In this paper, we propose ParallelBB, which is a P2P-based parallelization of the Branch-and-Bound algorithm for the computational Grid. The algorithm has been implemented using the ProActive distributed object Grid middleware. The algorithm has been applied to a monocriterion permutation flow-shop problem and promisingly experimented on the Grid5000 computational Grid.
Blind channel estimation for multiuser CDMA systems with long spreading codes
Authors: Zhengyuan Xu
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 05 (1999)

In this paper, correlation-matching techniques are employed to estimate multipath channel parameters for a multiuser CDMA system with long spreading codes. For a given code sequences, the output correlation matrix (parametrized by the unknown channel coefficients) is compared with its instantaneous approximation. By minimizing the Frobenious norm of the resulting error matrix the channel parameters can be estimated up to a scalar ambiguity. Under the assumption of i.i.d. code sequences, identifiability for each channel is guaranteed and the asymptotic convergence of the proposed algorithm is established. Simulation results confirm our claims. Comparisons with other methods are also provided.
Automated Derivation of Application-aware Error Detectors using Static Analysis
Authors: Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravishankar K. Iyer
Venue: Proceedings of the 13th IEEE International On-Line Testing Symposium (2007)

This paper presents a technique to derive and implement error detectors to protect an application from data errors. The error detectors are derived automatically using compiler-based static analysis from the backward program slice of critical variables in the program. Critical variables are defined as those that are highly sensitive to errors, and deriving error detectors for these variables provides high coverage for errors in any data value used in the program. The error detectors take the form of checking expressions and are optimized for each control flow path followed at runtime. The derived detectors are implemented using a combination of hardware and software. Experiments show that the derived detectors incur low performance overheads while achieving high detection coverage for errors that impact the application.
Type-Safe Code Transformations in Haskell
Authors: Louis-Julien Guillemette, Stefan Monnier
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2007)

The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify bugs in the compiler that would otherwise be much harder to find. We propose to take the use of types in compilation a step further by verifying that the transformation itself is type correct, in the sense that it is impossible that it produces an ill typed term given a well typed term as input. We base our approach on higher-order abstract syntax (HOAS), a representation of programs where variables in the object language are represented by meta-variables. We use a representation that accounts for the object language's type system using generalized algebraic data types (GADTs). In this way, the full binding and type structure of the object language is exposed to the host language's type system. In this setting we encode a type preservation property of a CPS conversion in Haskell's type system, using witnesses of a type correctness proof encoded in a GADT.
Enhancing positioning accuracy of GPS/INS system during GPS outages utilizing artificial neural network
Authors: Burak H. Kaygısız, Aydan M. Erkmen, İsmet Erkmen
Venue: Neural Processing Letters (2007)

Integrated global positioning system and inertial navigation system (GPS/INS) have been extensively employed for navigation purposes. However, low-grade GPS/INS systems generate erroneous navigation solutions in the absence of GPS signals and drift very fast. We propose in this paper a novel method to integrate a low-grade GPS/INS with an artificial neural network (ANN) structure. Our method is based on updating the INS in a Kalman filter structure using ANN during GPS outages. This study focuses on the design, implementation and integration of such an ANN employing an optimum multilayer perceptron (MLP) structure with relevant number of layers/perceptrons and an appropriate learning. As a result, a land test is conducted with the proposed ANN + GPS/INS system and we here provide the system performance with the land trials.
The gopher game: demonstration
Authors: Sean Casey, Duncan Rowland
Venue: Proceedings of the international conference on Advances in computer entertainment technology (2007)

The paper "The Gopher Game: A Social, Mobile, Locative Game with User Generated Content and Peer Review" has been published in the proceedings of the ACE2007 conference. In order to further present our work, we are executing a live game demonstration at the conference. This document summarises how the demo is to be exhibited, presents an overview of the gameplay and provides a list of necessary requirements.
Supporting networking courses with a hands-on laboratory
Authors: S. A. Mengel, C. D. Bowling
Venue: Proceedings of the Frontiers in Education Conference, on 1995. Proceedings., 1995 - Volume 02 (1995)

With the growing importance of communications, the establishment of a network laboratory with a networking course is becoming a necessary and rewarding venture. Not only do the students receive instruction in class, but they also obtain hands-on experience through setting up commercial networks in the lab. One such lab is being established at the University of Arkansas in the Computer Systems Engineering and Electrical Engineering Departments to support the undergraduate and graduate network courses. The lab has 12 PCs with Ethernet combination cards so that coaxial or twisted-pair cables may be used. The software for the lab currently consists of Novell NetWare 3.12, Novell NetWare 4.1, Linux, PC-NFS, Microsoft Windows for Workgroups 3.11, and Artisoft LANtastic 6.0. The students set up the networks and perform various exercises, including troubleshooting, administrating and timing. The students also have access to a protocol analyzer that can be used on the University of Arkansas College of Engineering's computer network so they can observe how higher traffic networks operate. The College of Engineering's computer network supports PCs running MS-DOS, Microsoft Windows and Linux, and Sun Workstations running Solaris and SunOS. The network is hooked up to the Internet as well. Students are able to observe the types of packets traversing the network. The analyzer was written by a Master's student and includes a tutorial. A report of the success of the lab and the use of the protocol analyzer is given.
Lessons learned from building and calibrating the ICWall, a stereo tiled display: Research Articles
Authors: Tom van der Schaaf, Desmond Germans, Henri E. Bal, Michal Koutek
Venue: Computer Animation and Virtual Worlds (2007)

Implementation of stereo tiled displays is a rather demanding task. In this article we want to share the lessons we have learned during the design and construction of the ICWall tiled display. This large display, used in a classroom setting, is a high-resolution stereo tiled display (2&thinsp;&times;&thinsp;8 tiles), built from low-cost commodity components. The overall image is produced by an array of projectors. When building such a system, a key challenge is to align the projector images. We describe our automated approach for alignment&#x002F;calibration of the left- and right-eye stereo images. We provide measurements that show accuracy of this procedure. We explain and compare two calibration approaches: a single-pass and a two-pass rendering method to align the tiled images. We explain how to provide seamless image on the tiled display and which issues have to be solved. We also discuss the depth perception issues on the ICWall for the large audiences. Another important aspect, is the architecture of the software used for PC-cluster-based rendering. We describe Aura, the parallel scene graph API that is used for rendering on our tiled display. Copyright &copy; 2007 John Wiley & Sons, Ltd.
Simulation Based Verification using Temporally Attributed Boolean Logic
Authors: S. K. Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar
Venue: Proceedings of the 20th International Conference on VLSI Design held jointly with 6th International Conference: Embedded Systems (2007)

We propose a specification logic called Temporally Attributed Boolean (TAB) Logic for Assertion Based Verification which allows us to: (i) represent assertions succinctly, (ii)incorporate data-orientation and (iii) associate timing in design intentions. We present examples to show the motivation for this logic especially in the context of high level modeling of complex real time systems. We formally define TAB Logic, formulate the problem of verification on a simulation trace and present efficient algorithms to check TAB assertions. We present results of application of TAB Logic for Instruction Semantics and Bus Transaction Verification of a bus integrated pipelined processor implementation.
On the Bit-Level Complexity of Bitonic Sorting Networks
Authors: Majed Z. Al-Hajery, Kenneth E. Batcher
Venue: Proceedings of the 1993 International Conference on Parallel Processing - Volume 03 (1993)

Bitonic sorting networks can be implemented with a bit-level cost complexity of O(N log^2 N) using comparators with bit-level O(1) time and cost complexities. Items to be sorted are pipelined (worm-hole routed) bit-serially most-significant-bit first through the network. The cost complexity can be reduced to O(N log N) by recirculating items of length O(logN) through logN stages.
Educating Students to Create Trustworthy Systems
Authors: Richard S. Swart, Robert F. Erbacher
Venue: IEEE Security and Privacy (2007)

Computer security education has traditionally focused primarily on designing secure and reliable systems that can ensure information confidentiality, integrity, and availability. In contrast, the management information systems (MIS) approach to information security education focuses on operational aspects, such as risk analysis, human factors, and legal requirements. Yet, to fully address the array of issues in the modern world, faculty and industry must find novel, cross-disciplinary approaches to educating security professionals.
Balancing Supply and Demand of an Electronic Health Record in the Netherlands; Not too open systems for not too open users.
Authors: Ton AM Spil, Christiaan P. Katsma
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

About twenty suppliers of Electronic Health Records (EHR) battle for the favor of about hundred hospitals in the Netherlands. The Minister of Health has been promising for over a decade that every citizen in the Netherlands will have an EHR. Until now this promise has not been met. One of the main requirements for this national EHR is an agreed definition of an open EHR by both vendors and users. This paper first studies the demand side using the results of thirty eight interviews with end users asking them their core processes and their expected value of an EHR. Next we have a look at the supply side with an overview of the Dutch market and a focus on open EHR's as possible overall solution. This solution is further elaborated by using the experience with Enterprise Application Integration (EAI) in industry. The contribution of this paper is twofold. First from a combined analysis of our data our main conclusion is the supply of EHR in the Netherlands is not open yet. Only suppliers with a small market share really offer external process integration. Only if the main suppliers are stimulated (by the government) to open up, a national EHR can arise. Secondly from a detailed analysis the following results stand out: A majority of the end users (demand side) do not get support in their relevant working processes. Communication is badly supported and direct patient contact (what they think most important in their work) is even endangered by new systems. Availability, a benefit where all stakeholders agree upon, does not seem to be enough to open the market and create a good diffusion of EHR in the Netherlands. Much more focus should be laid on quality of care and communication with patients and colleagues.
Low power showdown: comparison of five DSP platforms implementing an LPC speech codec
Authors: D. Hwang
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 200. on IEEE International Conference - Volume 02 (2001)

An identical LPC speech coder has been implemented on a set of signal processing specific implementation platforms. The main goal of this experiment was to compare energy consumption. In addition, area/memory requirements and design time are also compared. The coder was first designed in floating-point C. Then, the fixed-point wordlengths were determined. Depending on the platform, either compiled code was generated, assembly code written or a Verilog/VHDL design was created. The platforms reported in this paper include the DSP processors TI C55/spl times/, TI C54/spl times/, TI C6/spl times/ and the design environments Ocapi and A|RT Designer. Energy consumption ranged from 2 /spl mu/J to 288 /spl mu/J per speech frame. Upon scaling the results to the same technology, our results indicated that the lowest power DSP processor (TI C55/spl times/) still consumes a factor of four more energy than an application specific processor.
Mathematical Models of Avascular Tumor Growth
Authors: Tiina Roose, S. Jonathan Chapman, Philip K. Maini
Venue: SIAM Review (2007)

This review will outline a number of illustrative mathematical models describing the growth of avascular tumors. The aim of the review is to provide a relatively comprehensive list of existing models in this area and discuss several representative models in greater detail. In the latter part of the review, some possible future avenues of mathematical modeling of avascular tumor development are outlined together with a list of key questions.
A Living System Must Have Noncomputable Models
Authors: A. H. Louie
Venue: Artificial Life (2007)

Chu and Ho's recent article in Artificial Life is riddled with errors. In particular, they use a wrong definition of Robert Rosen's mechanism. This renders their “critical assessment” of Rosen's central proof null and void.
Towards Hilbertian Formal Methods
Authors: Marius C. Bujorianu, Manuela L. Bujorianu
Venue: Proceedings of the Seventh International Conference on Application of Concurrency to System Design (2007)

In this work, we address the issue of handling complex continuous evolutions of the environment of embedded systems. There is now an impressive amount of research in the area of intelligent embedded controllers, and thus we do not need to argue about the importance of this subject.
A new two dimensional nonseparable modulated filter banks
Authors: S. C. Chan
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 03 (1996)

Due to the low design and implementation complexity of one-dimensional modulated filter banks (MFB), it is very desirable to study their nonseparable generalization to two dimensions (2D). In this paper, we introduce a new two-dimensional (2D) nonseparable generalization of the MFB. Each analysis filter is obtained by combining two shifted copies of the prototype filter. By considering a new cosine-modulation, it is found that the filterbank can achieve perfect reconstruction and has identical structure to the 1-D modulated filter banks. Bi-orthogonal and structural PR linear-phase cascade structures can also be obtained.
An integrality theorem of root systems
Authors: A. Bhattacharya, G. R. Vijayakumar
Venue: European Journal of Combinatorics (2007)

Let @F be an irreducible root system and @D be a base for @F; it is well known that any root in @F is an integral combination of the roots in @D. In comparison to this fact, we establish the following result: Any indecomposable subset T of @F is contained in the Z-span of an indecomposable linearly independent subset of T.
Rapid prototyping library for adaptive signal processing applications
Authors: T. Bigg
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

In this paper we present a library for the rapid prototyping of adaptive signal processing algorithms, architectures and applications. The library is hosted by the DSP simulation software SystemView and covers virtually the complete spectrum of linear, and non-linear adaptive algorithms currently in use in contemporary DSP and communications applications. The library can be easily used with real signals, with variable system wordlengths, sampling frequencies and so on. Therefore in this paper we discuss the design philosophy behind the library and overview the various algorithms and applications that are implemented. The paper shows an implementation of an adaptive multiuser CDMA receiver/decision feedback equaliser (DFE) as an example of the relevance and rapid development that is possible. Copies of the library and example files can be downloaded from the Web following the instructions in the paper.
Economic modeling of global test strategy I: Mathematical models: Research Articles
Authors: Eric S. Fisher, Steven Fortune, Martin K. Gladstein, Suresh Goyal, William B. Lyons, James H. Mosher Jr., Gordon Wilfong
Venue: Bell Labs Technical Journal (2007)

As electronic products become feature-rich, the amount of manufacturing testing required grows rapidly. This is further compounded because products made with components from several vendors, and in factories distributed all over the world, have similar tests repeated at various stages. While testing adds great value, it can also substantially increase manufacturing costs. In this paper we present a computational scheme that allows test strategists to investigate, and optimize, the nonintuitive trade-offs between test cost and product quality along the entire manufacturing chain. A method for constructing a mathematical model of very general test chains is presented that allows for the complete representation of realistic test and repair operations, down to the subtest level, including tests and repairs that have limited accuracy. A test-feature vector is introduced to account for test coverage. In addition, the notion of good and bad is introduced for every feature to allow the quantizing of quality. &copy; 2007 Alcatel-Lucent.
E-learning content adaptation for deaf students
Authors: F. Javier Bueno, J. Raul Fernández del Castillo, Soledad Garcia, Reca Borrego
Venue: ACM SIGCSE Bulletin (2007)

Deaf students hardly ever finish higher studies. One of the biggest difficulties they have to face in studying for their degrees is reading comprehension. This paper presents a study about their needs when reading a text, and proposes several measures to alleviate this problem. The methodology proposed in this paper, when applied to adapt an e-learning Computing course, has achieved a promising improvement of the understanding level of this kind of student.
Oriented-Filters Based Head Pose Estimation
Authors: Mohamed Dahmane, Jean Meunier
Venue: Proceedings of the Fourth Canadian Conference on Computer and Robot Vision (2007)

The aim of this study is to elaborate and validate a methodology to automatically assess head orientation with respect to a camera in a video sequence. The proposed method uses relatively stable facial features (upper points of the eyebrows, upper nasolabial-furrow corners and nasal root) that have symmetric properties to recover the face slant and tilt angles. These fiducial points are characterized by a bank of steerable filters. Using the frequency domain, we present an elegant formulation to linearly decompose a Gaussian steerable filter into a set of x, y separable basis Gaussian kernels. A practical scheme to estimate the position of the occasionally occluded nasolabial-furrow facial feature is also proposed. Results show that head motion can be estimated with sufficient precision to obtain the gaze direction without camera calibration or any other particular settings are required for this purpose.