ppxscal/embedding_network huggingface dataset:
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language
Authors: Adam Meissner
Venue: Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications (2008)

We present a method of adding parallel computations to a reasoning process based on the Prolog Technology Theorem Proving approach. For this purpose, the input set of first-order logic formulas is translated into a logically equivalent program in the Oz language.
Person or Puppet? The Role of Stimulus Realism in Attributing Emotion to Static Body Postures
Authors: Marco Pasch, Ronald Poppe
Venue: Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction (2007)

Knowledge of the relation between body posture and the perception of affect is limited. Existing studies of emotion attribution to static body postures vary in method, response modalities and nature of the stimulus. Integration of such results proves difficult, and it remains to be investigated how the relation can be researched best. In this study we focus on the role of stimulus realism. An experiment has been conducted where computer generated body postures in two realism conditions were shown to participants. Results indicate that higher realism not always results in increased agreement but clearly has an influence on the outcome for distinct emotions.
A Sybil-proof one-hop DHT
Authors: Chris Lesniewski-Laas
Venue: Proceedings of the 1st Workshop on Social Network Systems (2008)

Decentralized systems, such as structured overlays, are subject to the Sybil attack, in which an adversary creates many false identities to increase its influence. This paper describes a one-hop distributed hash table which uses the social links between users to strongly resist the Sybil attack. The social network is assumed to be fast mixing, meaning that a random walk in the honest part of the network quickly approaches the uniform distribution. As in the related SybilLimit system [25], with a social network of n honest nodes and m honest edges, the protocol can tolerate up to o(n/ log n) attack edges (social links from honest nodes to compromised nodes). The routing tables contain O(&radic;m log m) entries per node and are constructed efficiently by a distributed protocol. This is the first sublinear solution to this problem. Preliminary simulation results are presented to demonstrate the approach's effectiveness.
Path Minima in Incremental Unrooted Trees
Authors: Haim Kaplan, Nira Shafrir
Venue: Proceedings of the 16th annual European symposium on Algorithms (2008)

Consider a dynamic forest of unrooted trees over a set of n vertices which we update by link operations: Each link operation adds a new edge adjacent to vertices in two different trees. Every edge in the forest has a weight associated with it, and at any time we want to be able to answer a path-min query which returns that edge of minimum weight along the path between two given vertices.For the case where the weights are integers we give an algorithm that performs n ¿ 1 link operations and m pathmin queries in O(n + m¿(m,n)) time. This extends well known results of Tarjan [11] and Yao [12] to a more general dynamic setting at the cost of restricting the weights to be integers. We also suggest a simpler data structures for the case where trees are rooted and the link operation always adds an edge between the root of one tree and an arbitrary vertex of another tree.
Evaluation of Agricultural Land Suitability: Application of Fuzzy Indicators
Authors: Dmitry Kurtener, H. Allen Torbert, Elena Krueger
Venue: Proceeding sof the international conference on Computational Science and Its Applications, Part I (2008)

The problem of evaluation of agricultural land suitability is considered as a fuzzy modeling task. For assessment of land suitability, it is proposed to use fuzzy indicators. Application of individual fuzzy indicators gives opportunity for assessment of suitability of lands as degree or grade of performance when the lands are used for agricultural purposes. Using composite fuzzy indicator it is possible to obtain weighted average estimation of land suitability. This theoretical technique is illustrated with a simple example.
Motion Detection with Background Clutter Suppression Based on KDE Model
Authors: Han Zhou, Zhi-Yuan Zeng, Jian-Zhong Zhou
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues (2008)

Background modeling is an important component of visual surveillance system. In some complicated outdoor system, such as traffic scene in night, solutions to problems as illumination and shadow disturbance are provided. The kernel density estimation is exploited to estimate the probability density function of background intensity and then to classify the pixel into background or foreground scene. Toward the modeling of dynamic characteristics, a normalized color space is proposed as part of a five-dimensional feature space. And experiment demonstrates the performance of the proposed approach.
Applications of computers to aircraft dynamic problems
Authors: B. Hall, R. Ruthrauff, D. Dill
Venue: Proceedings of the February 4-6, 1953, western computer conference (1953)

Aircraft dynamic problems present a major field for the application of modern digital and analog computers. While it is true that airplanes were designed before the advent of these computers, the design requirements of aircraft have advanced simultaneously with the computer development programs. Today the efficient design of high speed aircraft depends to a large extent on the rapidity with which a large volume of calculations on dynamic problems can be completed.
Fuzzy rule-base driven orthogonal approximation
Authors: Musa Alci
Venue: Neural Computing and Applications (2008)

In this study, orthogonal approximation concept is applied to fuzzy systems. We propose a new useful model adapted from the well-known Sugeno type fuzzy system. The proposed fuzzy model is a generalization of the zero-order Sugeno fuzzy system model. Instead of linear functions in standard Sugeno model, we use nonlinear functions in the consequent part. The nonlinear functions are selected from a trigonometric orthogonal basis. Orthogonal function parameters are trained along with the Sugeno fuzzy system. The proposed model is demonstrated using three simulations&#x2014;a nonlinear piecewise-continuous scalar function modeling and filtering, nonlinear dynamic system identification, and time series prediction. Finally some performance comparisons are carried out.
Participants in Action: The Interplay of Aspectual Meanings and Thematic Relations in the Semantics of Semitic Morphology
Authors: Reut Tsarfaty
Venue: Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers (2007)

This work aims to demonstrate that event structure and thematic relations are closely intertwined. Specifically, we show that in Modern Hebrew the choice of a morphological template has profound effects on the event structure of derived verbs. These effects are correlated with the thematic features marked by the templates, and are mediated by the aspectual classification of the lexical material provided by roots.
Some results on the regular solutions of a linear differential equation
Authors: Xiao-Min Li, Hong-Xun Yi
Venue: Computers Mathematics with Applications (2008)

In this paper, we prove a theorem on the regular growth of the solutions of a linear differential equation, as an application of which we obtain some uniqueness theorems of an entire function sharing a finite nonzero complex number with its nth derivative and a linear differential polynomial of its nth derivative under the restriction of finite lower order or of finite lower hyper-order that is not a positive integer. The results in this paper improve many known results. Some examples are provided to show that the results in this paper are the best possible.
A survey of software project managers on software process change
Authors: Yuepu Guo, Carolyn B. Seaman
Venue: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (2008)

Software project managers play an important role in selecting their software development process. In this study we conducted a survey of software project managers about software process change. The result of the survey revealed several factors affecting this type of decision making. It also revealed critical issues in software development projects. In particular, the findings point to the importance of a piloting strategy in technology transfer, as well as the importance of highlighting cost, quality, and schedule information in reporting evidence of a new technique's effectiveness. We expect that the findings of this study could facilitate research on technology transfer and adoption.
Spontaneous Voltage Transients in Mammalian Retinal Ganglion Cells Dissociated by Vibration
Authors: Tamami Motomura, Yuki Hayashida, Nobuki Murayama
Venue: Neural Information Processing: 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I (2007)

We recently developed a new method to dissociate neurons from mammalian retinae by utilizing low-Ca2 + tissue incubation and the vibro-dissociation technique, but without use of enzyme. The retinal ganglion cell somata dissociated by this method showed spontaneous voltage transients (sVT) with the fast rise and slower decay. In this study, we analyzed characteristics of these sVT in the cells under perforated-patch whole-cell configuration, as well as in a single compartment cell model. The sVT varied in amplitude with quantal manner, and reversed in polarity around -80 mV in a normal physiological saline. The reversal potential of sVT shifted dependently on the K + equilibrium potential, indicating the involvement of some K + conductance. Based on the model, the conductance changes responsible for producing sVT were little dependent on the membrane potential below -50 mV. These results could suggest the presence of isolated, inhibitory presynaptic terminals attaching on the ganglion cell somata.
Graph-Based Tools: The Contest
Authors: Arend Rensink, Pieter Gorp
Venue: Proceedings of the 4th international conference on Graph Transformations (2008)

This event is the second instance of the contest for graph transformation-based tools, which was first held as part of the AGTIVE workshop. The aim is to stimulate tool development by providing a sense of competitiveness, as well as the chance to get to know and learn from the features of other, related tools.
Capturing the Evolution of Grammatical Knowledge in a CALL System for Deaf Learners of English
Authors: Lisa N. Michaud, Kathleen F. Mccoy
Venue: International Journal of Artificial Intelligence in Education (2006)

The ICICLE project is a Computer-Assisted Language Learning (CALL) environment geared toward teaching English as a second language. This paper reports on an initial prototype application of the system for deaf learners of written English. A primary focus of the ICICLE effort has been devoted to enabling the system to adapt to a learning user over the evolution of language proficiency. In this paper, we overview and motivate the design of our novel user modeling component that integrates Selinker's Interlanguage theory and other research in Second Language Acquisition in order to accurately represent a learner's internal grammar as it changes over time. The objectives of this effort are two-fold: to accurately diagnose and respond to learner errors, and to focus tutorial feedback on those errors which are most relevant to the learner's acquisition process.
Boosting Threshold Classifiers for High--- Dimensional Data in Functional Genomics
Authors: Ludwig Lausser, Malte Buchholz, Hans A. Kestler
Venue: Proceedings of the 3rd IAPR workshop on Artificial Neural Networks in Pattern Recognition (2008)

Diagnosis of disease based on the classification of DNA microarray gene expression profiles of clinical samples is a promising novel approach to improve the performance and accuracy of current routine diagnostic procedures. In many applications ensembles outperform single classifiers. In a clinical setting a combination of simple classification rules, such as single threshold classifiers on individual gene expression values, may provide valuable insights and facilitate the diagnostic process. A boosting algorithm can be used for building such decision rules by utilizing single threshold classifiers as base classifiers. AdaBoost can be seen as the predecessor of many boosting algorithms developed, unfortunately its performance degrades on high-dimensional data. Here we compare extensions of AdaBoost namely MultiBoost, MadaBoost and AdaBoost-VC in cross-validation experiments on noisy high-dimensional artifical and real data sets. The artifical data sets are so constructed, that features, which are relevant for the class distinction, can easily be read out. Our special interest is in the features the ensembles select for classification and how many of them are effectively related to the original class distinction.
Replacing the stop sign: unmanaged intersection control for autonomous vehicles
Authors: Mark VanMiddlesworth, Kurt Dresner, Peter Stone
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3 (2008)

As computers replace humans as the drivers of automobiles, our current traffic management mechanisms will give way to hyper-efficient protocols designed to exploit the capabilities of fully autonomous vehicles. We have introduced such a system for coordinating large numbers of autonomous vehicles at intersections [2, 3]. Our experiments suggest that this system could alleviate many of the dangers and delays associated with intersections by allowing vehicles to "call ahead" to an agent stationed at the intersection and reserve time and space for their traversal. Unfortunately, such a system is not cost-effective at small intersections. In this paper, we propose an intersection control mechanism for autonomous vehicles designed specifically for low-traffic intersections where the previous system would not be practical. Our mechanism is based on purely peer-to-peer communication and thus requires no infrastructure at the intersection. We present experimental results demonstrating that our system, while not suited to large, busy intersections, can significantly outperform traditional stop signs at small intersections.
Joint Bayesian Tracking of Head Location and Pose from Low-Resolution Video
Authors: Oswald Lanz, Roberto Brunelli
Venue: Multimodal Technologies for Perception of Humans: International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers (2008)

This paper presents a visual particle filter for jointly tracking the position of a person and her head pose. The resulting information may be used to support automatic analysis of interactive people behavior, by supporting proxemics analysis and providing dynamic information on focus of attention. A pose-sensitive visual likelihood is proposed which models the appearance of the target on a key-view basis, and uses body part color histograms as descriptors. Quantitative evaluations of the method on the `CLEAR'07 CHIL head pose' corpus are reported and discusssed. The integration of multi-view sensing, the joint estimation of location and orientation, the use of generative imaging models, and of simple visual matching measures, make the system robust to low image resolution and significant color distortion.
Designing Programming Exercises with Computer Assisted Instruction
Authors: Fu Lee Wang, Tak-Lam Wong
Venue: Proceedings of the 1st international conference on Hybrid Learning and Education (2008)

Teaching of computer programming has created significant difficulties to both teachers and students. Large class size is one of the major barriers to effective instruction. A well-designed pedagogy can make the instruction most effective. This paper will share our experiences of teaching programming courses with large class size. A set of programming exercises have been designed with help of computer assisted instruction. Evaluation has showed that the new pedagogy provide great flexibilities to both teaching and learning of computer programming. The students' academic results have been significantly improved in programming courses.
DaltOn: An Infrastructure for Scientific Data Management
Authors: Stefan Jablonski, Olivier Curé, M. Abdul Rehman, Bernhard Volz
Venue: Proceedings of the 8th international conference on Computational Science, Part III (2008)

It is a common characteristic of scientific applications to require the integration of information coming from multiple sources. This aspect usually confronts end-users with data management issues which involve the transportation of data from one system to another as well as the syntactic and semantic integration of data, i.e. data come in different formats and have different meanings. In order to deal with these issues in a systematic and well structured way, we propose a sophisticated framework based on process modeling. In this paper, we present the three major conceptual architectural abstractions of the system and detail its execution.
The Performability Tool P'ility
Authors: Lucia Cloth, Boudewijn R. Haverkort
Venue: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems (2008)

The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with state reward rates. Since its introduction, several algorithmsfor the numerical evaluation of the performability distribution have been proposed. Many of these algorithmsonly solve specialised MRMs, for example, with only 0 and 1 as reward rates or compute the expected value of the accumulated reward. The P'ility tool implements four algorithms that allow for the computation of the performability distribution in its full generality.
Mobile Services Acceptance Model
Authors: Shang Gao, John Krogstie, Per Anton Gransæther
Venue: Proceedings of the 2008 International Conference on Convergence and Hybrid Information Technology (2008)

Along with the rapid development of information and communication technology, more and more mobile commerce applications are available. However, what is the user's perception and reaction of those new applications? It is critical to study the factors that influence the user adoption of mobile applications. In this research work, we propose an extended technology acceptance model, which is called mobile services acceptance model, with a consideration of trust, context, and personal initiatives and characteristics factors in addition to perceived usefulness and perceived ease of use. Furthermore, in order to demonstrate the applicability of the mobile services acceptance model, one case study with respect to the user adoption of the mobile application---FindMyFriends is presented.
A Neuro Fuzzy Model for Image Compression in Wavelet Domain
Authors: Vipula Singh, Navin Rajpal, K. Srikanta Murthy
Venue: Proceedings of the 3rd international conference on Image and Signal Processing (2008)

Image compression forms the backbone for several applications such as storage of images in a database, picture archiving, TV and facsimile transmission, and video conferencing. Compression of images involves taking advantage of the redundancy in data present within an image. This work evaluates the performance of an image compression system based on fuzzy vector quantization, wavelet based sub band decomposition and neural network. Vector quantization is often used when high compression ratios are required. The implementation consists of three steps. First, image is decomposed into a set of sub bands with different resolution corresponding to different frequency bands. Different quantization and coding schemes are used for different sub bands based on their statistical properties. At the second step, the wavelet coefficients corresponding to lowest frequency band are compressed by differential pulse code modulation (DPCM) and the coefficients corresponding to higher frequency bands are compressed using neural network. The result of the second step is used as input to fuzzy vector quantizer. Image quality is compared objectively using mean squared error and PSNR along with the visual appearance. The simulation results show clear performance improvement with respect to decoded picture quality as compared to other image compression techniques.
Issues in next generation wireless networks and services for developing regions
Authors: Fisseha Mekuria, Idris Rai
Venue: Proceedings of the 2008 ACM workshop on Wireless networks and systems for developing regions (2008)

The paper deals with three important aspects of the deployment of next generation wireless networks and services in developing countries. A framework to support the growth of innovative and locally relevant mobile services from the different stake-holder's perspective is developed. The framework consists of three pillars of thought composed of next generation technology migration strategy, development of local content and service provider sector, and a mobile laboratory for service localization and usability studies.
Enhancing VoIP service for ubiquitous communication in a campus WLAN with partial coverage
Authors: Hung-Yun Hsieh, You-En Lin, Hsiao-Pu Lin
Venue: Computer Networks: The International Journal of Computer and Telecommunications Networking (2008)

The IEEE 802.11 WLAN technology has become the de facto standard for wireless Internet access. The spotty coverage of WLAN access points, however, confines the applicability of many real-time services such as VoIP within the boundary of the WLAN service area. In this paper, we investigate the problem of enhancing VoIP service for ubiquitous communication in a WLAN with spotty service area. We consider a university campus that has an established infrastructure for supporting SIP-based VoIP service through either wired or wireless data networks. The campus WLAN service does not have 100% full coverage, and hence users cannot make untethered VoIP calls anywhere on campus. The goal of this paper is to overcome the limitations of such ''dead spots'' for motivating the use of campus IP telephony service. To proceed, we start with two approaches called one-hop extension and dual-mode communication. The first approach uses multi-hop relay to extend the WLAN coverage, while the second approach leverages the availability of dual-mode handsets for ubiquitous voice communication. We implement the two approaches, and evaluate their performance in the campus testbed environment. We find that while the two approaches can effectively allow voice communication in WLAN dead spots, they have one common problem as the potential lack of support for voice call continuity that can cause degradation of the speech quality to an active call. We adopt a cross-layer solution based on signal processing algorithms to address the problem, thus achieving seamless voice call continuity while enabling ubiquitous voice communication on campus. Testbed evaluation shows promising results for future research along the proposed direction.
The MC6809 In DMA Mode on the IEEE-488 Bus
Authors: Mike Newman, David Smith
Venue: IEEE Micro (1981)

DMA data transfer makes this system faster than ones that are interrupt-driven or based on polling. DMA on the 6809 suits it to applications demanding high data rates.