ppxscal/embedding_network huggingface dataset:
On mind & Turing's machines
Authors: Wilfried Sieg
Venue: Natural Computing: an international journal (2007)

Turing's notion of human computability is exactly right not only for obtaining a negative solution of Hilbert's Entscheidungsproblem that is conclusive, but also for achieving a precise characterization of formal systems that is needed for the general formulation of the incompleteness theorems. The broad intellectual context reaches back to Leibniz and requires a focus on mechanical procedures; these procedures are to be carried out by human computers without invoking higher cognitive capacities. The question whether there are strictly broader notions of effectiveness has of course been asked for both cognitive and physical processes. I address this question not in any general way, but rather by focusing on aspects of mathematical reasoning that transcend mechanical procedures.Section 1 discusses Gödel's perspective on mechanical computability as articulated in his [193?], where he drew a dramatic conclusion from the undecidability of certain Diophantine propositions, namely, that mathematicians cannot be replaced by machines. That theme is taken up in the Gibbs Lecture of 1951; Gödel argues there in greater detail that the human mind infinitely surpasses the powers of any finite machine. An analysis of the argument is presented in Section 2 under the heading Beyond calculation. Section 3 is entitled Beyond discipline and gives Turing's view of intelligent machinery; it is devoted to the seemingly sharp conflict between Gödel's and Turing's views on mind. Their deeper disagreement really concerns the nature of machines, and I'll end with some brief remarks on (supra-) mechanical devices in Section 4.
A New Simple Adaptive Noise Cancellation Scheme Based On ALE and NLMS Filter
Authors: Jafar Ramadhan Mohammed
Venue: Proceedings of the Fifth Annual Conference on Communication Networks and Services Research (2007)

Background noise is usually an important factor that affects speech recognition performance and many other applications. In this paper, background noise (wideband noise and sinusoidal noise) can be significantly suppressed using the proposed adaptive noise cancellation scheme based on adaptive line enhancer (ALE) and Normalized Least Mean Square (NLMS) filters. The proposed scheme is comprised of two stages. The first stage uses an ALE filters, which are used to reduce sinusoidal noise from the primary and reference input signals, whereas the wideband noise is reduced using NLMS adaptive filter in the second stage. To demonstrate the effectiveness of the proposed scheme ,it is compared to the traditional adaptive noise cancellation scheme. The good performance of the proposed scheme have been verified via computer simulations in noisy and reverberant environment.
Version and vergence control of a stereo camera head by fitting the movement into the Hering's law
Authors: Jayathu G. Samarawickrama, Silvio P. Sabatini
Venue: Proceedings of the Fourth Canadian Conference on Computer and Robot Vision (2007)

An active vision system has to enable the implementation of reactive visual processes in real time. Given a stereoscopic vision system, the vergence angle, together with version and tilt angles, describes uniquely the fixation point in space. We interpret vision and motor control, and in particular we focus on developing and testing of a control strategy that fits the Hering's law, by studying the cooperation of vergence and version movements. The analysis of the simulation results confirmed the advantages of the Hering's law to achieve fast system reactions. We show that real-time active vergence and depth estimation become possible when the estimated disparity is reliable and fast. In this framework, the advantage of a simple and fast phase-based technique for depth estimation that allows real-time stereo processing with sub-pixel resolution is also discussed.
An Asia-Wide Realtime Distributed Hands-On Workshop
Authors: Shoko Mikawa, Patcharee Basu, Keiko Okawa, Jun Murai
Venue: Proceedings of the 2007 International Symposium on Applications and the Internet Workshops (2007)

E-learning has made possible to conduct trainings online. However, region-wide trainings that require hands-on practice still need lecturers and participants at the same location. This requires huge resources on travel budget, time, equipments and staff. This paper proposes a region-wide distributed model of realtime hands-on workshop using distance learning and remote virtualization environment. The proposed model was implemented for SOI Asia operator training during 22-26 August 2006 inviting 42 participants from 19 institutions in 10 Asian countries. The workshop proved to have significant reduces in travel budget, lab preparation time and equipments compared to ordinary workshop model held in the previous year. Feedbacks show 95% of the participants evaluated this workshop is effective for their future operations. Accordingly, this workshop model is practical and resource-optimized model for region-wide human resource development. This paper can be a useful information source for future development and improvement of region-wide remote workshops.
An HMM-based approach to automatic phrasing for Mandarin text-to-speech synthesis
Authors: Jing Zhu, Jian-Hua Li
Venue: Proceedings of the COLING/ACL on Main conference poster sessions (2006)

Automatic phrasing is essential to Mandarin text-to-speech synthesis. We select word format as target linguistic feature and propose an HMM-based approach to this issue. Then we define four states of prosodic positions for each word when employing a discrete hidden Markov model. The approach achieves high accuracy of roughly 82%, which is very close to that from manual labeling. Our experimental results also demonstrate that this approach has advantages over those part-of-speech-based ones.
Recognition of Botanical Bloom Characteristics from Visual Features
Authors: Margit Lang, Harald Kosch, Stella Stars, Carsten Kettner, Janine Lachner, Doris Oborny
Venue: Proceedings of the Eight International Workshop on Image Analysis for Multimedia Interactive Services (2007)

This paper introduces multimedia indexing and retrieval techniques to enable the extraction of botanical characteristics for semi-automatic plant recognition. The identification of plants requires recognition and determination of plant species by using specific features such as bloom color, inflorescences, shape of blooms, number of petals and shape of leaves. Our indexing and retrieval techniques will be integrated into an existing medicinal plant database, MedPhyt R . An evaluation study finishes the paper.
Design of a low cost trainer for flow control
Authors: J. A. Rehg
Venue: Proceedings of the 28th Annual Frontiers in Education - Volume 03 (1998)

Process control laboratories in most colleges and universities include a single process trainer for control exercises in temperature, level, flow and pressure. Single trainers are present because of the size and cost of the systems; however, the use of single systems makes it difficult to use small laboratory teams without reducing the enrolment limit placed on the laboratory section. Ideally, the process laboratory should have multiple trainers in at least two of the four primary process variables to learn the basics of process control. Then the students could move to the larger more robust systems to study control of a large industrial process. This paper describes a low cost flow trainer that was developed with the support of a National Science Foundation (NSF) Instructional Laboratory Instrumentation (ILI) grant to permit training in basic control concepts to multiple student teams. Construction cost for the flow system is less than $500 and all of the components are available off-the-shelf from a number of industrial sources. The system can be controlled by any single-loop process controller, a programmable logic controller, or a microcomputer using a control software product, such as Lab View. The system has been tested at several colleges and universities including Trident Technical College with excellent results. This paper describes the system design, construction requirements, example laboratory exercises and test results.
Creating a multimedia extension for Tcl using the java media framework
Authors: Moses DeJong, Brian Bailey, Joseph A. Konstan
Venue: Proceedings of the 6th conference on Annual Tcl/Tk Workshop, 1998 - Volume 6 (1998)

As multimedia capable computers become cheaper and more pervasive in the consumer and corporate markets, and as the availability of digital information increases, the need for low-cost, cross-platform multimedia applications will steadily rise. However, because Tcl lacks native support for continuous media streams, such as audio, video, and animation, it is not well suited for this emerging application domain. At the same time, Java now provides a set of class libraries, called the Java Media Framework (JMF), which provides the multimedia support that Tcl lacks. With the recently introduced integration of Tcl and Java, Java can now be used to provide the cross-platform multimedia support required by Tcl; whereas Tcl can be used to provide the easy-touse programming environment required for building multimedia applications. In this paper, we introduce a Tcl extension that provides a high-level scripting interface to the Java Media Framework. In addition, we will highlight some interesting problems in the current Tcl/Java package as well as suggest some potential solutions. This paper will benefit Tcl programmers who would like to learn more about using Tcl to build multimedia applications, integrating Tcl and Java, or the multimedia support provided by the JMF.
A comparison of cyclostationary and envelope analysis in the diagnostics of rolling element bearings
Authors: R. B. Randall
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 06 (2000)

Some machine signals, while being almost periodic, are not exactly phase-locked to shaft speeds. Typical examples are the impulsive signals from faults in rolling element bearings, which because of slip, are cyclostationary of second order. Thus the spectral correlation diagram has discrete cyclic frequencies and integrating the spectral correlation diagram along the frequency axis produces a discrete frequency spectrum, which has thus been suggested as a simpler way of presenting the data. However, as shown in this paper, this gives the same result as a Fourier transform of the squared signal, which is much more easily produced directly. The result is then very closely related to "envelope analysis" which has long been used in the diagnostics of rolling element bearings. This paper demonstrates that the optimum results are normally obtained by analyzing the squared envelope of an analytic signal (with bandpass filtered one-sided spectrum).
Teleoperation of Robot Based on Virtual Reality
Authors: Xiaoling Lv, Minglu Zhang, Feng Cui, Xiaoli Zhang
Venue: Proceedings of the 16th International Conference on Artificial Reality and Telexistence--Workshops (2006)

It is a friendly human-machine interaction to operate the robot using data glove. In this paper, EON is taken as platform, virtual robot and virtual environment is set up according the real scenery. The virtual robot is the agent of remote robot in the virtual environment. Data glove is used to operate the virtual robot to complete the control towards the remote robot. Operator transmits instruction to remote controller through making use of WLAN to build up high speed, broad band correspondence network. In the Visual C++ environment, WINSOCK control widget is applied to program to carry out network correspondence which is built on foundation of the TCP/IP.
Performance analysis and comparison of MRC and optimal combining in antenna array systems
Authors: B. D. Rao
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

We examine the statistical properties of the output signal to interference plus noise ratio (SINR) of a spatial combiner where the spatial weights used are either the Maximal Ratio Combiner (MRC) weights or the Optimal Combining (Wiener Hopf) weights. The channels are modeled as slow flat Rayleigh fading channels and multiple interferers are assumed present. In particular, the modified F-distribution is introduced to provide an exact characterization of a MRC receiver and to bound the performance of the OC receiver. Simulation results are provided to support the analytical results and to provide insight.
Component-Based Simulation Model Development Using BOMs and Web Services
Authors: Farshad Moradi
Venue: Proceedings of the First Asia International Conference on Modelling & Simulation (2007)

Modelling and Simulation (M&S) is a valuable tool and provides means for reducing, amongst others, manufacturing and training costs. However, development of simulation models is a multi-disciplinary and time/resource consuming process. Building simulation models through composition and reuse of predefined and already existing validated simulation components is an approach to reduce the associated costs and improving the usability of the models. The Base Object Model, BOM, is a new standard for defining reusable and composable simulation components. However, BOMs lack the necessary expressive power to ensure semantic matching of simulation components. In Web Service Composition (WSC), composite services are built by assembling existing services in order to address functionalities required by users. In WSC much emphasis has been on including the semantic aspects of the composition, through among others utilization of the Semantic Web concept. In this paper we describe a process that has been developed at the Swedish Defence Research Agency (FOI) with the aim to speed up and improve the development of simulation models. This process utilizes the BOM concept and extends it by taking advantage of the techniques used in WSC. We will present our approach and findings based on our implementation of the proposed process.
Bean markup language: a composition language for JavaBeans components
Authors: Sanjiva Weerawarana, Francisco Curbera, Matthew J. Duftler, David A. Epstein, Joseph Kesselman
Venue: Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6 (2001)

Although the benefits of software component composition are today widely accepted, component oriented software development is not yet as widespread as its multiple advantages may suggest. This is so in spite of the maturity reached by several component models (Microsoft's COM, JavaBeans, OMG's CORBA), and their general acceptance by large communities of developers. Thus, while components are being 'used' in software development, the development process itself is not fully component oriented. One major roadblock limiting the adoption of a component oriented development process is the lack of viable component composition languages. This paper introduces a component composition language specifically designed for the composition of JavaBeans components. The Bean Markup Language (BML) supports component composition in a first-class manner. BML has language constructs for describing inter-component bindings, for constructing aggregates of components, for macro expansion and for implementing certain types of recursive compositions. Further, it allows the specification of "glue code" in any traditional scripting language (for example, JavaScript) to enable powerful adaptation during composition.
M-array VLSI architecture for order statistic filters
Authors: C. C. Lin
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 06 (1996)

The order statistic filter is an important nonlinear filter for many image processing applications. We propose several simplified algorithms for the VLSI implementation of an order statistic filter. Specifically, we propose: (1) a simplified algorithm to reduce the chip area of an order statistic filter; (2) a simplified algorithm using fewer components compared with the Murthy and Swamy's (see IEEE Transactions on Signal Processing, vol.40, no.5, p.1241-52, 1992) results to integrate two r-bit order statistic filters into an (r+1)-bit order statistic filter; and (3) a scheme for 2-D order statistic filter implementation. In this scheme a large ROM is replaced by very few logic components. In summary, our schemes reduce the chip area of an order statistic filter because much fewer components are used compared with the Murthy and Swamy's results.
On Performance and Efficiency of VLIW and Superscalar
Authors: Soo-Mook Moon, kemal Ebcioglu
Venue: Proceedings of the 1993 International Conference on Parallel Processing - Volume 02 (1993)

Instruction-level parallelism in non-numerical code character as leading to small speeduo (as little) due to its irregularity. Recently, we have developed a new static scheduling algorithm called selective scheduling which can be used as a component of VLIW and superscalar compilers to exploit the irregular parallelism.
A new image prediction model based on spatio-temporal techniques
Authors: Jos&#x00e9; Luis Crespo, Marta Zorrilla, Pilar Bernardos, Eduardo Mora
Venue: The Visual Computer: International Journal of Computer Graphics (2007)

This paper addresses an image prediction problem focused on images with no identifiable objects. In it, we present several approaches to predict the next image of a given sequence, when the image lacks the well-defined objects, such as meteorological maps or satellite imagery. In these images no clear borders are present, and any object candidate moves, changes, appears and disappears in any image. Nevertheless, this evolution, though unrestricted, is gradual and, hence, prediction looks feasible. One of the approaches presented here, based on a spatio-temporal autoregressive (STAR) model, offers good results for these kinds of images. The main contribution of this paper is to adapt spatio-temporal models to an image prediction problem. As a byproduct of this research, we have achieved a new image compression method, suitable for images without defined shapes.
Providing authentication to messages signed with a smart card in hostile environments
Authors: Tage Stabell-Kulø, Ronny Arild, Per Harald Myrvang
Venue: Proceedings of the USENIX Workshop on Smartcard Technology on USENIX Workshop on Smartcard Technology (1999)

This paper presents a solution to how a smart card can be used to sign data in a hostile environment. In particular, how to use a smart card to make a signature on data when the machine to which the smart-card reader is attached can not be trusted. The problem is solved by means of a verification server together with a substitution table and a one-time pad; it is argued that lacking a trusted channel from the card, our solution is minimal. An invalid signature (a signature on data not intended to be signed) can only be made if the online server colludes with the machine the user is using. In all other circumstances, only a denial-of-service attack is possible. The realization is applicable in practice, but slightly awkward.
Interactive presentation: Analysis of power consumption and BER of flip-flop based interconnect pipelining
Authors: Jingye Xu, Abinash Roy, Masud H. Chowdhury
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

This paper addresses the problem of interconnect pipelining from both power consumption and bit error rate (BER) point of view and tries to find the optimal solution for a given wire pipelining scheme in nanometer scale very large scale integration technologies. In this paper a detailed analysis for the dependency of power consumption and BER on the number of flip-flops inserted and repeater size is performed. For the best tradeoff between the wire delay, BER and power consumption, a methodology is developed to optimize the repeater size and the number of flip-flops inserted which maximize a user-specified figure of merit. Then this methodology is applied to calculate the optimal solutions for some International Technology Roadmap for Semiconductor technology nodes.
Advanced Topics In Workflow Management: Issues, Requirements, And Solutions
Authors: Wil M. P. van der Aalst, Mathias Weske, Guido Wirtz
Venue: Journal of Integrated Design Process Science (2003)

This paper surveys and investigates the strengths and weaknesses of a number of recent approaches to advanced workflow modelling. Rather than inventing just another workflow language, we briefly describe recent workflow languages, and we analyse them with respect to their support for advanced workflow topics. Object Coordination Nets, Workflow Graphs, WorkFlow Nets, and an approach based on Workflow Evolution are described as dedicated workflow modelling approaches. In addition, the Unified Modelling Language as the de facto standard in object-oriented modelling is also investigated. These approaches are discussed with respect to coverage of workflow perspectives and support for flexibility and analysis issues in workflow management, which are today seen as two major areas for advanced workflow support. Given the different goals and backgrounds of the approaches mentioned, it is not surprising that each approach has its specific strengths and weaknesses. We clearly identify these strengths and weaknesses, and we conclude with ideas for combining their best features.
Reasoning about Concurrency for Security Tunnels
Authors: Alwyn E. Goodloe, Carl A. Gunter
Venue: Proceedings of the 20th IEEE Computer Security Foundations Symposium (2007)

There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserve confidentiality and integrity. New problems arise in describing and analyzing establishment protocols and tunnels when they are used as building blocks to achieve high-level security goals for network administrative domains. We introduce a language called the tunnel calculus and associated analysis techniques that can address functional problems arising in the concurrent establishment of tunnels. In particular, we use the tunnel calculus to explain and resolve cases where interleavings of establishment messages can lead to deadlock. Deadlock can be avoided by making unwelcome security compromises, but we prove that it can be eliminated systematically without such compromises using a concept of session to relate tunnels. Our main results are noninterference and progress theorems familiar to the concurrency community, but not previously applied to tunnel establishment protocols.