ppxscal/embedding_network huggingface dataset:
Warnings for Disjoint Knowledge Omission in Ontologies
Authors: Muhammad Abdul Qadir, Wajahat Noshairwan
Venue: Proceedings of the Second International Conference on Internet and Web Applications and Services (2007)

Structured knowledge is the most important component of semantic based information systems required to automate intelligent tasks which are normally performed by expert humans. The knowledge about a domain is typically structured in the form of Ontologies. An ontology organizes basic terms and the rules for combining these terms in the form that is machine-interpretable and machine-understandable. Therefore, defining an ontology should be considered an important and serious task with well-defined tools and techniques to verify and validate it. A considerable work is being done to define the processes to develop Ontologies for every phase of its life-cycle [1]. Automated tools to evaluate the contents of an ontology are a great help for large scale ontology developers. We formulated some ontologies to represent real life situations and left certain errors in those ontologies intentionally to see whether these tools would raise the alarm or not. To our surprise, there were some important situations where the alarm should have been raised, but we did not get any warning. In this paper, we report those situations and present algorithms to raise the alarm. We have surveyed the available literature with reference to these situations, and unfortunately could not found satisfactory answer. This paper also summarizes the survey. One of the most difficult situation to detect with automated tools is the incompleteness. This requires the intervention of the domain experts / ontology developers. We discovered that disjoint knowledge and exhaustive knowledge omissions are not being handled by existing tools to raise an alarm for the developers. Algorithms have been proposed to tackle these situations. These algorithms have been executed on a number of case studies. We found them working properly.
Engineering and Construction Camp at the USAF academy
Authors: H. Rischel
Venue: Proceedings of the Frontiers in Education Conference, 2001. on 31st Annual - Volume 01 (2001)

The US Air Force Academy's Department of Civil and Environmental Engineering (DFCE) and the Society of American Military Engineers (SAME) are committed to inspiring the potential of the nation's youth with the leadership skills, motivation, and technical competence to be future leaders to the Nation. To help achieve this, DFCE and SAME jointly sponsored a prototype Engineering and Construction Camp at the USAF Academy in the summer of 2000. The intent of this collaborative effort was to provide opportunities for SAME Posts to engage in long-term mentorship with high school students and to interest them in the engineering profession through hands-on activities in engineering, construction, team building, and learning under the mentorship of SAME officers and USAF Academy cadets. The response to the one-week camp was overwhelmingly positive and the camp was offered for a second time during July 2001.
Extended anti-Hebbian adaptation for unsupervised source extraction
Authors: Z. Malouche
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 03 (1996)

We propose a new adaptive algorithm to separate a linear mixture of sources using an extended anti-Hebbian rule. This solution can be viewed as a stochastic gradient way to minimize certain output high order statistics. The system is modular: it is decomposed into parallel and independent subsystems. Each one is capable of extracting one source with negative kurtosis out of the mixture, provided the number of observations is greater or equal to the number of sources and provided it is appropriately initialized.
General Reversibility
Authors: Vincent Danos, Jean Krivine, Paweł Sobociński
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2007)

The first and the second author introduced reversible CCS (RCCS) in order to model concurrent computations where certain actions are allowed to be reversed. Here we show that the core of the construction can be analysed at an abstract level, yielding a theorem of pure category theory which underlies the previous results. This opens the way to several new examples; in particular we demonstrate an application to Petri nets.
An intelligent and attractable active contour model for boundary extraction
Authors: L. Ji
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 06 (1999)

An intelligent and attractable active contour model for boundary extraction is presented in this paper. The proposed model is capable of driving any initial guess in the area of the evolving estimate towards the desired boundary, working against a constant image background, overcoming spurious edge-points and fitting into the object without any overrun. It is also capable of extracting both concave and convex boundaries while still being capable of bearing subjective boundaries with help of a synthetic convergent criterion and an adaptable interpolation scheme. Using additional two control parameters, it is possible to control the convergent properties of the new model, which provides a high degree of flexibility and adaptability. This robust model has been applied to real images with encouraging results.
A senior-level RF design course combining traditional lectures with an open laboratory format
Authors: W. B. Kuhn
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 01 (2000)

In Kansas State University's Design of Communication Circuits course, 10 to 15 students each semester are introduced to the theory behind wireless communications hardware used in modern products such as pagers, wireless LANs, and cellular telephones. In contrast to typical senior-design courses that have separate laboratory and lecture sections, the class combines lecture and laboratory work, with the instructor managing and grading both. This allows scheduling a series of projects that can be combined at the middle and end of the semester to produce relatively sophisticated products, such as working FM broadcast transmitters and receivers. An additional feature of the course is the use of an open laboratory where students can work at any time during normal business hours to build and test their circuits. This allows a class of 10 or more to share a single copy of expensive equipment such as a spectrum or network analyzer, while providing a studio-type environment in which students can share experiences more effectively with others.
Economic analysis of class 5 migration to IMS: Research Articles
Authors: Subramanian Prakash, Abdol Saleh, Salman Shaikh, David Tsay
Venue: Bell Labs Technical Journal (2007)

Telecommunication providers are increasingly choosing Internet Protocol Multimedia Subsystem (IMS) infrastructure. However, they often have substantial investment in the existing time division multiplexing (TDM) switches. The question arises: Should they cap but maintain existing TDM infrastructure and provision broadband subscribers on an Internet Protocol (IP) network, or should they consolidate the TDM network and proactively migrate their existing plain old telephone service (POTS) subscribers to IMS&quest; In the former case, one has to maintain two networks and incur the operating expenses and the pertinent complexities. In the latter case, the cost of public switched telephone network (PSTN) replacement and earlier investment in IMS must be weighed against potential operations savings and possible incremental revenue. In this paper we provide an economic analysis of these two options. We find that consolidation and operational expense (OpEx) savings in the proactive migration to IMS are not enough to offset the costs of migration unless there are new revenue opportunities due to the new services that the PSTN replacement subscribers are willing to adopt. &copy; 2007 Alcatel-Lucent.
Error analysis of variable stepsize Runge-Kutta methods for a class of multiply-stiff singular perturbation problems
Authors: Ai-Guo Xiao
Venue: Computers Mathematics with Applications (2007)

In this paper, we present some results on the error behavior of variable stepsize stiffly-accurate Runge-Kutta methods applied to a class of multiply-stiff initial value problems of ordinary differential equations in singular perturbation form, under some weak assumptions on the coefficients of the considered methods. It is shown that the obtained convergence results hold for stiffly-accurate Runge-Kutta methods which are not algebraically stable or diagonally stable. Some results on the existence and uniqueness of the solution of Runge-Kutta equations are also presented.
Research of Component-Based Hybrid Design Pattern for Real-Time Microkernel
Authors: Xuesen Ma, Jianghong Han, Yang Lu, Zhenchun Wei
Venue: Proceedings of the 16th International Conference on Artificial Reality and Telexistence--Workshops (2006)

Adopting the traditional object-oriented and component-based methods, the software architecture design pattern can be applied in the concurrent, real-time and distributed fields, which will replace the kind of strong-coupling and process-oriented development predominant in the real-time embedded software to satisfy the needs of the fast development of hardware and communication technology. Combined with the mechanistic design pattern put forward by Gamma et al. (like layer, microkernel, component, etc.), in the light of the view between the subsystem and the component architecture and of the concurrency, correct design pattern is generated by means of pattern incubating, mining or instantiation, which is then applied to develop a robust and scalable architecture for real-time system. As the Component-based Software Engineering (CBSE) can effectively enhance the quality and efficiency of the software development process, the technology is introduced to architecture design, offering mature applications by means of framework instantiation. Based on the hybrid design pattern, the architecture and the process of the software become mutually reinforcing and complementary, and both the interior quality and the process quality of the software are guaranteed.
Visualizing Collaborative Filtering in Digital Collections
Authors: Victor Y. Chen, Cheryl Z. Qian, Robert F. Woodbury
Venue: Proceedings of the 11th International Conference Information Visualization (2007)

The NEAR (Navigating Exhibitions, Annotations and Resources) panel is a method of managing digital collections and user preferences through collaborative filtering and graphically revealing implicit data relations such as sharing, reference and similarity. It is implemented on AVIRE, an online multimedia repository. AVIRE supports semi-structured collections (exhibitions) which containing various resources and annotations. Its users are encouraged to contribute, share, annotate and interpret resources. Similar to the act of adding items into shopping carts in the e-commence applications, a user's activities of searching, organizing and interpreting data in AVI-RE are considered as evidence of user's preferences. The design process of NEAR was guided by several principles from the visualization literature. It implements new navigation and communication approaches that support discovery of relations. Having tested NEAR with several users, we further analyze the design, report the evaluation and consider its use in other applications.
Determination of Bit Error and Residual Error Rates for Safety Critical Communication
Authors: J. Borcsok, H.-T. Hannen
Venue: Proceedings of the Second International Conference on Systems (2007)

The probability of failure rate and error rate are important indicators for the assessment of applications for highspeed communication systems. The paper presents causes of faults and theoretical and practical methods for calcuating the error rate and the probability of failures.
An image rectification scheme and its applications in RST invariant digital image watermarking
Authors: Yan Liu, Dong Zheng, Jiying Zhao
Venue: Multimedia Tools and Applications (2007)

This paper presents an image rectification scheme that can be used by any image watermarking algorithm to provide robustness against rotation, scaling and translation (RST) transformations. Rotation and scaling transformations in the spatial domain result in cyclically translational shifts in the log-polar mapping (LPM) of the magnitude of the Fourier transform spectrum of an image. We cut a small block from the LPM domain as a matching template. A new filtering method is proposed to compute the cross-correlation between this template and the magnitude of the LPM of the image having undergone RST transformations to detect the rotation and scaling parameters. We employ the same strategy in the spatial domain to detect the translational parameters in the spatial domain. The scheme can also be used to detect image flipping. The cost of the templates is low and the templates can even be compressed. The detection accuracy for rotation, scaling and translation is also presented. We compare the matching results for the different filters and their performance by the three criteria: signal-to-noise ratio (SNR), peak-to-correlation energy (PCE), and Horner efficiency. We demonstrate that our phase-only filtering method is the only one that can be used in the LPM domain. We also introduce three applications for this rectification scheme and give their experimental results.
Imago: An integrated prototyping, evaluation and transitioning environment for information visualisation
Authors: Rudi Vernik, G Stewart Von Itzstein, Alain Bouchard
Venue: Proceedings of the 11th International Conference Information Visualization (2007)

This paper introduces Imago, an environment that supports the prototyping, evaluation and transitioning of information visualisation approaches into practice. The approach is based on the use of an underlying semantic model of contextual and visualisation knowledge and integrated evaluation capabilities to aid the transitioning process. We discuss the use of Imago in relation to our experiences in researching and providing information visualisation approaches for command and control activities.
Mary Poppins and the Web of the Future: Search, Share, Social, Semantics, and Sugar
Authors: Massimo Marchiori
Venue: Proceedings of the 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (2006)

The Web of the future will without doubts be very different from what we have nowadays. In this paper, we try to give a very high-level overview of the main aspects that will forge the new web, having a look at five main S's: Search, Share, Social, Semantics, and the glue component that can keep them together, and let the user digest the new shifts: Sugar, in its various aspects. Finally, we end with another hidden S, that last but not least, should enter sooner rather than later into the science for a new web: Silly Games.
A robust sequential approach for the detection of defective pixels in an image sensor
Authors: Yap-Peng Tan
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

Large image sensors usually contain same defects. Defects are pixels with abnormal photo-responsibility. As a result they often generate outputs different from their adjacent pixel outputs and seriously degrade the visual quality of the captured images. However, it is not economically feasible to produce sensors with no defects for rendering images. A limited number of defects are usually allowed in an image sensor as long as the defective outputs can be corrected with post signal processing techniques. In this paper we present a robust sequential approach for detecting sensor defects from a sequence of images captured by the sensor. With this approach no extra non-volatile memory is required in the sensor device to store the locations of sensor defects. In addition, the detection and correction of image defective outputs can be performed efficiently in a computer host. Experimental results of this approach are reported in the paper.
Nonlinearity analysis of Analog/RF circuits using combined multisine and volterra analysis
Authors: Jonathan Borremans, Ludwig De Locht, Piet Wambacq, Yves Rolain
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

Modern integrated radio systems require highly linear analog/RF circuits. Two-tone simulations are commonly used to study a circuit's nonlinear behavior. Very often, however, this approach suffers limited insight. To gain insight into nonlinear behavior, we use a multisine analysis methodology to locate the main nonlinear components (e.g. transistors) both for weakly and strongly nonlinear behavior. Under weakly nonlinear conditions, selective Volterra analysis is used to further determine the most important nonlinearities of the main nonlinear components. As shown with an example of a 90 nm CMOS wideband low-noise amplifier, the insights obtained with this approach can be used to reduce nonlinear circuit behavior, in this case with 10 dB. The approach is valid for wideband and thus practical excitation signals, and is easily applicable both to simple and complex circuits.
Development of sound source components for a new electrolarynx speech prosthesis
Authors: K. M. Houston
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

For many individuals who lose their voices due to laryngeal cancer or trauma, the only option for speech is to use an electrolarynx (EL), which is a battery-powered vibrator that is held to the throat. Current devices produce speech that is very machine-like in sound, with low levels of loudness and intelligibility, that also draws undesired attention to the user. A project at Draper Laboratory, the Mass. Eye and Ear Infirmary and MIT aims to develop a much improved EL called the electrolarynx communication system (ELCS), which is a DSP-based device consisting of sound source, control, and speech enhancement subsystems or modules. This paper introduces the ELCS and discusses developments to date in the sound source module. Specific topics include the design of a new linear EL transducer and investigations into glottal waveform synthesis which should result in a much more natural speech output.
Results on perceptual invariants to transformations on speech
Authors: A. Robert
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 01 (1999)

This paper presents results of a study on perceptual invariants to transformations on the speech signal. A set of psychoacoustic tests were conducted as to put forward these invariants for the human hearing system (HS). The starting point is the decomposition of speech by an AM-FM analysis, rather than the use of more standard analysis methods. The main result of this work is the finding that our HS is robust to-namely our perception is not altered by instantaneous frequency (IF) changes within a certain range, even though these resulted in substantial waveform modifications. This stimulated us to conduct further study on how standard analysis methods would cope with perceptually invariant changes; results show that, in fact, they are not robust to such changes. Finally, some applications of IF changes are proposed. 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
Resisting SYN flood DoS attacks with a SYN cache
Authors: Jonathan Lemon
Venue: Proceedings of the BSD Conference 2002 on BSD Conference (2002)

Machines that provide TCP services are often susceptible to various types of Denial of Service attacks from external hosts on the network. One particular type of attack is known as a SYN flood, where external hosts attempt to overwhelm the server machine by sending a constant stream of TCP connection requests, forcing the server to allocate resources for each new connection until all resources are exhausted. This paper discusses several approaches for dealing with the exhaustion problem, including SYN caches and SYN cookies. The advantages and drawbacks of each approach are presented, and the implementation of the specific solution used in FreeBSD is analyzed.
Spatio-temporal training-sequence based channel equalization and adaptive interference cancellation
Authors: D. T. M. Slock
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 05 (1996)

We consider mobile radio communications with one user of interest and possibly interfering users and noise, over several discrete-time channels obtained either by oversampling or from multiple antennas. The optimal receiver structure for one signal of interest plus spatially and temporally correlated noise is MLSE equalization with an appropriately weighted metric for vector signals. We show however that we can alternatively pass the vector received signal through both a MISO (multi-input single output) matched filter and a MIMO blocking equalizer. The blocking equalizer output is independent of the signal of interest and is used as the input to a MISO Wiener filter that reduces the noise in the matched filter output. The training sequence of the signal of interest can be used to estimate the corresponding channel, from which the matched filter and blocking equalizer can be determined. The remaining quantities can be adapted from the available signals.
An Evolutionary Approach to Software Modularity Analysis
Authors: Sunny Huynh, Yuanfang Cai
Venue: Proceedings of the First International Workshop on Assessment of Contemporary Modularization Techniques (2007)

Modularity determines software quality in terms of evolveability, changeability, maintainability, etc. and a module could be a vertical slicing through source code directory structure or class boundary. Given a modular- ized design, we need to determine whether its implementa- tion realizes the designed modularity. Manually comparing source code modular structure with abstracted design mod- ular structure is tedious and error-prone. In this paper, we present an automated approach to check the conformance of source code modularity to the designed modularity. Our approach uses design structure matrices (DSMs) as a uniform representation; it uses existing tools to automatically derive DSMs from the source code and de- sign, and uses a genetic algorithm to automatically cluster DSMs and check the conformance. We applied our approach to a small canonical software system as a proof of concept experiment. The results sup- ported our hypothesis that it is possible to check the con- formance between source code structure and design struc- ture automatically, and this approach has the potential to be scaled for use in large software systems.