ppxscal/embedding_network huggingface dataset:
Internet-based teleoperation for robot navigation
Authors: James N. Liu
Venue:  (2006)

The thesis aims at developing a practical telerobotic system for the application: inexperienced Internet users can remotely control a wheeled robot which is able to perform some complex tasks autonomously (e.g. active map learning, goal-oriented navigation) or to interact with human operator in order to explore unknown and dynamic environments. The developed prototype system has already turned out to be practical and be feasible to provide teleoperation service at university campus and exhibition center through the evaluations of public demos and users overseas. In the thesis, a new teleoperation approach called telecommanding is proposed to provide an interactive control interface and a complete framework for command processing. This work is one of our major contributions. Telecommanding involves two different but complementary commands: joystick and linguistic commands. It gives more experience of interactivity and functionality compared with existing direct control and supervisory control methods. Under the framework of telecommanding, we have extended our system by realizing more linguistic commands. A new map learning approach called memory grid mapping is proposed to model a priori unknown indoor environment. This work is one of our major contributions, which has addressed an important topic in robotics. Some useful ideas have been contributed such as efficient map model, exploration method and map postprocessing method. A new behavior-based navigation method called minimum risk method is proposed to address local minimum problem faced by goal-oriented robot navigating in unknown indoor environments. This work is another major contribution. The key of the method is to design a novel Path-searching behavior that coordinates with Obstacle-avoidance and Goal-seeking behaviors. The method is experimentally demonstrated to give global convergence to a given goal location, even though it is used in long-wall, large concave, recursive U-shape, unstructured, cluttered, maze-like, or dynamic (i.e. with moving human) environments. Compared with existing boundary-following or virtual-subgoal approach, the method can deal with more complex environments and is able to find nearest exit to escape from local minima. The works about streaming video and a framework of behavior-based navigation are less important parts. But they are necessary and useful to develop a practical Internet telerobotic system.
A general procedure for nonlinear system identification using higher order statistics
Authors: M. E. Celebi
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 01 (2000)

A general formula is given for the conditional mean in terms of higher order statistics. Using this formula, a general scheme for nonlinear system identification is introduced including a broad range of nonlinearities which depends on the probability density function of the input. As a special case of that general scheme, the polynomial system identification problem is treated. It is shown that our general scheme yields straightforward theoretical results in the case of polynomial discrete-time system identification.
A new set-membership constant modulus algorithm for blind interference suppression in DS-CDMA systems
Authors: Sun Li-ping, Hu Guang-rui
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 02 (2002)

In this paper, we present a fast converging Set-membership Constant Modulus algorithm (SM-CM) for blind interference suppression in direct-sequence/code-division multiple-access (DS/CDMA) systems. We add a specified upper bound for the cost function of constant modulus algorithm (CMA), adaptively changing the step-size in the hyperstrip space which is decided by the upper error bound, so as to obtain the optimal weight of the detector. Simulations indicate that the SM-CM algorithm outperforms the CMA in convergence speed and steady-state performance and the SM-CM algorithm can work especially well when there are multiple-access interference (MAI) and narrow band interference (NBI) in the system.
Efficient Malicious Agreement in a Virtual Subnet Network
Authors: Shu-Ching Wang, Shyi-Ching Liang, Kuo-Qin Yan, Guang-Yan Zheng
Venue: Proceedings of the The Second International Conference on Availability, Reliability and Security (2007)

The fault-tolerance is an important research topic in the study of distributed systems. To cope with the influence from faulty processors, reaching a common agreement in the presence of faults before performing certain special tasks is essential. Therefore, the Byzantine Agreement (BA) problem has drawn more researcher attention as they explore deeper into the world of distributed systems. Traditionally, the BA problem is solved in a wired network. However, the mobile computers have become increasingly popular This environment encourages distributed system design and practices that support mobile processors. A Mobile Ad-hoc Network (MANET) is different from a wired network. The processors have high mobility. Therefore, to enhance fault-tolerance and MANET reliability, the BA problem in virtual subnet of MANET is revised in this paper. The proposed protocol uses a minimum number of message exchange rounds and can tolerate the maximum number of allowable faulty components and make each fault-free processor reach a common agreement in the virtual subnet of MANET.
DRIADE: a data repository for evolutionary biology
Authors: Jed Dube, Sarah Carrier, Jane Greenberg
Venue: Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries (2007)

NESCent (The National Evolutionary Synthesis Center) is developing DRIADE (Digital Repository of Information and Data for Evolution) to address synthetic research challenges fundamental to advancing the field of evolutionary biology. This poster highlights results from a survey of selected repositories' functionalities, DRIADE's functional requirements, and DRIADE's functional model. We also summarize ongoing research activities, studying evolutionary biologists' data preservation practices and use requirements.
Model-based optical two-point resolution
Authors: A. J. den Dekker
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 04 (1996)

The classical criteria for optical two-point resolution consider intensity observations that are exactly describable by a mathematical two-component model. This paper considers an alternative resolution criterion, which concerns detected images. These images can never be exactly described by the model adopted. This is caused by both systematic and random errors. It is shown that two distinct classes of sets of observations can be distinguished. For the one class, the model fitting solutions for the component locations are distinct. Then the components are resolved. For the other class, the solutions exactly coincide and resolution is impossible. It is shown how these classes can be determined for any two-component model. Furthermore, for statistical observations, the probability of resolution can be computed as a function of the SNR. This probability can be used to compare the performance of different imaging systems. 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
VERISEC: verifying equivalence of sequential circuits using SAT
Authors: M. Syal, M. S. Hsiao
Venue: Proceedings of the High-Level Design Validation and Test Workshop, 2005. on Tenth IEEE International (2005)

In this paper we propose a framework to verify equivalence of sequential circuits using Boolean satisfiability (SAT). We tackle a problem that is harder than the traditional sequential hardware equivalence; specifically, we address the uninvestigated problem of verifying delay replaceability as stated in V. Singhal et al. (2001) of two sequential designs. This notion of sequential equivalence does not make any assumptions either about the design-environment or about the design's steady state behavior. Thus, verifying delay replaceability is considered as hard as verifying safe replaceability according to V. Singhal et al. (2001) of sequential circuits (conjectured as EXPSPACE complete). Our SAT-based framework has the following salient features: (a) a methodology to inductively prove equivalence (delay replaceability) of sequential circuits with no assumptions about any initial state; (b) a scheme to include sequential logic implications into the framework; and (c) a low-cost scheme to identify equivalent flip-flop pairs on the fly. We used our tool to successfully verify several sequential benchmark circuits. Low execution times make our framework practical and scalable.
The force model: reducing the complexity by reformulating the problem
Authors: R. Salomon
Venue: Proceedings of the Evolutionary Computation on 2002. CEC '02. Proceedings of the 2002 Congress - Volume 02 (2002)

Most experiments in research on autonomous agents and mobile robots are performed either in simulation or on robots with static physical properties; evolvable hardware is hardly ever used. One of the very rare exceptions is the eyebot on which Lichtensteiger and Eggenberger have evolved simplified insect eyes. Even though substantially improved, the evolutionary models currently applied still lack both scalability and noise-resistance. To tackle these problems, this paper proposes a biologically-inspired force model for this class of real-world applications. The simulation results clearly indicate that this model provides a significant improvement over existing limitations. Furthermore, this paper argues that the force model is of more general utility. 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
Context-Aware Query Refinement for Mobile Web Search
Authors: Shun Hattori, Taro Tezuka, Katsumi Tanaka
Venue: Proceedings of the 2007 International Symposium on Applications and the Internet Workshops (2007)

Mobile Web search engines as well as Fixed ones will become much more important for our Web access in the near future. However, mobile computing environments have troublesome limitations, as compared with traditional desktop computing environments. In order to solve the so-called "mismatched query problem" due to more shortness and ambiguity of mobile users' original queries, this paper proposes a novel method for context-aware query refinement based on their current geographic location and real-world contexts which are inferred from the place-names representing the location and the Web as a knowledge database.
Performance Analysis of Non-Orthogonal Pulse Position Modulation for Time-Hopping UWB Transmission
Authors: Hao Zhang, Wei Li, Aaron Gulliver
Venue: Proceedings of the Fifth Annual Conference on Communication Networks and Services Research (2007)

In this paper, we study the performance of nonorthogonal pulse position modulation (NPPM) for ultra-wideband (UWB) communication. Error probability and performance bounds are derived for a multi-user environment. It is shown that with proper selection of the pulse waveform and modulation index, NPPM can achieve better performance than orthogonal PPM with the same throughput.
Music Composition Theory and Web Purchases
Authors: Younghwa Lee, Kenneth A. Kozar
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Website usability has been reported to have crucial effects on online purchases, but few theoretical models thoroughly examine its effects. In this article we adopt music composition theory to propose a theoretical model of website usability, assuming that composing good music is similar to designing a usable website. The relevance of nomological networks between three constructs of music (melody, harmony, and rhythm), seven usability constructs (consistency, content relevance, interactivity, learnability, navigability, readability, uniqueness), cognitive and affective appraisals, and online purchases are hypothesized. A field study was conducted to validate the psychometric properties of measurement items and the nomological networks for the proposed model. The study results demonstrate that the proposed model successfully explains a large variance of the effects of website usability on online purchases and can thus be considered as an alternative theoretical model of website usability.
Using FreeBSD to render realtime localized audio and video
Authors: John H. Baldwin
Venue: Proceedings of the BSD Conference 2003 on BSD Conference (2003)

One of the largest selling points for The Weather Channel (TWC) is the ability to generate localized content for its subscribers, specifically local weather forecasts. To facilitate this localized content, TWC deploys smart devices in cable head ends. These smart devices are called STARs (Satellite Transmitter Addressable Receivers) and are responsible both for collecting weather data and displaying the data to the user in an audio and video presentation. TWC decided to produce a next generation STAR that was more flexible than the current generation as well as cheaper. FreeBSD was chosen as the platform for these devices. Although FreeBSD was largely suitable for this application, a few modifications were required and several workarounds were employed. The end result is a PC built mostly of off-the-shelf components that is able to render broadcast quality audio and video in realtime.
Effects of interface style on user perceptions and behavioral intention to use computer systems
Authors: Bassam Hasan, Mesbah U. Ahmed
Venue: Computers in Human Behavior (2007)

This study examines the influence of two interface styles (menu- and command-based) on the perceived ease of use, perceived usefulness, and behavioral intention of the user to use the system. We have treated the system interface style as an external factor in the technology acceptance model (TAM) to examine its direct and indirect effects on behavioral intention to accept and use a system. The results showed that the interface style had direct effects on perceived ease of use and perceived usefulness which, in turn, demonstrated significant effects on behavioral intention to use the system. Further, the results showed that perceptions of the menu-based interface were more favorable than perceptions of the command-based interface. These results provide several theoretical and practical implications for designing an effective system.
mCoupons: An Application for Near Field Communication (NFC)
Authors: Sandra Dominikus, Manfred Aigner
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02 (2007)

Near Field Communication (NFC) is a short-range wireless communication standard. It is very comfortable for the user as communication starts without any further configuration steps when bringing two devices very close together. This property makes the standard well suitable for the use with mobile coupons (we call it mCoupons). Nowadays, coupons are a very common way for companies to promote their products or services. These coupons are available as paper-based coupons or electronic coupons (which for example are used on the web). We propose a new form of coupons, so called mCoupons, which can be downloaded from a poster or a newspaper equipped with a passive NFC device to a mobile device. With this mobile device the user can then cash in the mCoupon at the cashier. In most of the cases, the value of each coupon is relatively low but misuse in larger scale can result in a major damage for a company. Therefore, mCoupons shall be secured against attackers. In this paper, we propose protocols for a secure mCoupon system using NFC technology. This protocol can be a basis for future micro-payment or ticketing services.
Approximating Minimum k-partitions in Submodular Systems
Authors: Hiroshi Nagamochi
Venue: Proceedings of the Second International Conference on Informatics Research for Development of Knowledge Society Infrastructure (2007)

In this paper, we consider the problem of computing a minimum k-partition of a finite set V with a set function f : 2^V \to \Re, where the cost of a k-partition {V_1, V_2, . . . , V_k} is defined by \Sigma _{1 \leqslant i \leqslant k}f(V_i). This problem contains the problem of partitioning a vertex set of an edge-weighted hypergraph into k components by removing the least cost of hyperedges. We show that, for a symmetric and submodular set function f, 2(1 - 1/k)-approximate solutions for all k \in [1, |V |] can be obtained in O(|V |^{3})-oracle time. This improves the previous best time bound by a factor of k = O(|V |).
Using Scan-Dump Values to Improve Functional-Diagnosis Methodology
Authors: Vishnu C. Vimjam, M. Enamul Amyeen, Ruifeng Guo, Srikanth Venkataraman, Michael Hsiao, Kai Yang
Venue: Proceedings of the 25th IEEE VLSI Test Symmposium (2007)

In this paper, we identify two main bottlenecks in the functional diagnosis flow and propose new ways to overcome these. Our approach completely eliminates the "Primary Input (PI) pattern generation and simulation" step and instead employs scan-dump values extracted from the tester. We utilize backward and forward logic implications of the scan-dump values to reconstruct more logic values for the circuit signals. Furthermore, we employ the reset state for the non-scan latches of the design to increase the number of specified signals in the overall circuit. Experimental results on stuck-at faults on industrial designs show that, in most cases, these reconstructed values are sufficient to correctly diagnose a fault, thereby avoiding hours of conventional functional diagnosis runtimes.
Synthetic stereo acoustic echo cancellation structure with microphone array beamforming for VoIP conferences
Authors: T. Yensen
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 02 (2000)

This paper proposes a synthetic stereo acoustic echo cancellation structure with microphone array beamforming for multiple participant voice over Internet protocol (VoIP) conferencing. The proposed acoustic front-end combines a synthetic stereo structure, acoustic echo canceler and microphone array beamformer. Synthetic stereo is used to add spatial information to signals from multiple participants that facilitates distinguishing between participants. Microphone array beamforming is then combined with the single canceler per spatial region echo cancellation structure to reduce noise and reverberation for near-end speech pickup and to cancel echo.
Rotation Forest and Random Oracles: Two Classifier Ensemble Methods
Authors: Juan J. Rodriguez
Venue: Proceedings of the Twentieth IEEE International Symposium on Computer-Based Medical Systems (2007)

Classification methods are widely used in computer-based medical systems. Often, the accuracy of a classifier can be improved using a classifier ensemble, the combination of several classifiers. Two classifiers ensembles and their results on several medical data sets will be presented: Rotation Forest (Rodríguez, Kuncheva and Alonso) and Random Oracles (Kuncheva and Rodríguez).
Temporal order optimizations of incremental joins for composite event detection
Authors: François Bry, Michael Eckert
Venue: Proceedings of the 2007 inaugural international conference on Distributed event-based systems (2007)

Queries for composite events typically involve the four complementary dimensions of event data, event composition, relationships between events (esp. temporal and causal), and accumulating events over time windows for negation and aggregation. We consider a datalog-like rule language for expressing such composite event queries and show that their evaluation can be understood as a problem of incrementally evaluating relational algebra expressions. We then show how temporal relationships between events can be utilized to make the evaluation of joins more efficient by avoiding evaluation of certain subexpressions and by making storage of some intermediate results unnecessary.
Variational Multiscale Analysis: the Fine-scale Green&rsquo;s Function, Projection, Optimization, Localization, and Stabilized Methods
Authors: T. J. R. Hughes, G. Sangalli
Venue: SIAM Journal on Numerical Analysis (2007)

We derive an explicit formula for the fine-scale Green&rsquo;s function arising in variational multiscale analysis. The formula is expressed in terms of the classical Green&rsquo;s function and a projector which defines the decomposition of the solution into coarse and fine scales. The theory is presented in an abstract operator format and subsequently specialized for the advection-diffusion equation. It is shown that different projectors lead to fine-scale Green&rsquo;s functions with very different properties. For example, in the advection-dominated case, the projector induced by the $H^1_0$-seminorm produces a fine-scale Green&rsquo;s function which is highly attenuated and localized. These are very desirable properties in a multiscale method and ones that are not shared by the $L^2$-projector. By design, the coarse-scale solution attains optimality in the norm associated with the projector. This property, combined with a localized fine-scale Green&rsquo;s function, indicates the possibility of effective methods with local character for dominantly hyperbolic problems. The constructs lead to a new class of stabilized methods, and the relationship between $H^1_0$-optimality and the streamline-upwind Petrov-Galerkin (SUPG) method is described.
A System for Computer Aided Detection of Diseases Patterns in High Resolution CT Images of the Lungs
Authors: T. Zrimec, S. Busayarat
Venue: Proceedings of the Twentieth IEEE International Symposium on Computer-Based Medical Systems (2007)

Automatic detection of disease patterns in medical images can assist radiologists in image analysis. We present a system for detection of disease patterns demonstrated on HRCT images of the lung. Automated image analysis can be assisted by incorporating into a program information and knowledge that is available to radiologists. Anatomical features and landmarks are first extracted from the images. This information, together with the structure and regions of the lung, that are stored in a model of the lungs, is used in detecting disease patterns. Rules for recognizing different disease patterns are generated using machine learning. The system's performance is demonstrated on detecting two kinds of diseases patterns, one related to structural deformation of the bronchial tree and one showing fibrotic changes of the lung parenchyma. The results show that the system is able to recognize and indicate the existence, size and location of potential lung abnormalities.
Design of high-resolution MOSFET-only pipelined ADCs with digital calibration
Authors: Hamed Aminzadeh, Mohammad Danaie, Reza Lotfi
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

Design of low-voltage high-resolution MOSFET-only pipeline analog to digital converters (ADCs) has been investigated in this work. The nonlinearity caused by replacing linear MIM capacitors with compensated depletion-mode MOS transistors in all 1.5-bit residue stages of the ADC has been properly modeled to be calibrated in digital domain. The proposed calibration technique makes it possible to digitally compensate the nonlinearity of a 1.8V 12-bit 65MS/s MOSFET-only ADC in 0.18&mu;m standard digital CMOS technology. It improves the values of signal-to-noise-plus-distortion-ratio (SNDR) and spurious-free dynamic range (SFDR) by approximately 27dB and 35dB respectively.