ppxscal/embedding_network huggingface dataset:
A Novel Approach for Phase-Type Fitting with the EM Algorithm
Authors: Axel Thummler Peter Buchholz
Venue: IEEE Transactions on Dependable and Secure Computing (2006)

The representation of general distributions or measured data by phase-type distributions is an important and nontrivial task in analytical modeling. Although a large number of different methods for fitting parameters of phase-type distributions to data traces exist, many approaches lack efficiency and numerical stability. In this paper, a novel approach is presented that fits a restricted class of phase-type distributions, namely, mixtures of Erlang distributions, to trace data. For the parameter fitting, an algorithm of the expectation maximization type is developed. This paper shows that these choices result in a very efficient and numerically stable approach which yields phase-type approximations for a wide range of data traces that are as good or better than approximations computed with other less efficient and less stable fitting methods. To illustrate the effectiveness of the proposed fitting algorithm, we present comparative results for our approach and two other methods using six benchmark traces and two real traffic traces as well as quantitative results from queueing analysis.
Adapting user's browsing behavior and web evolution features for effective search in medical portals
Authors: Ioannis Anagnostopoulos, Ilias Maglogiannis
Venue: Proceedings of the First International Workshop on Semantic Media Adaptation and Personalization (2006)

The World Wide Web, in form of medical and health related web search services has been widely acknowledged as an important tool for accessing and distributing medical information. The efficiency of its use is hampered however to some extent, by the data overload and the poor organization and presentation of medical portals and sites in general. In this paper we propose an intelligent meta-search algorithm exclusively for health-related web search, capable of self-adapting over the continuous changes that occur on medical sites, using a web evolution adaptation mechanism. The algorithm also supports personalization features based on the user browsing behavior. The paper provides the implementation details of the proposed meta-search algorithm along with its initial assessment. The experimental results show the efficiency of the proposed algorithm in terms of relevancy on the re-ranked third- party results.
Motion Synchronization System of Filament Winding Machine
Authors: Jiazhong Xu, Bo You, Deli Jia, Dongjie Li
Venue: Proceedings of the First International Conference on Innovative Computing, Information and Control - Volume 1 (2006)

The open numerical control system of winding machine used to manufacture FRP pipes is composed of an industry computer and a synchronization motion controller. A frequency inverter and a servo motor are used to accomplish close-loop control of the spindle and the carriage respectively. The motion controller based on DSP and CPLD was designed, and the position loop adopts the compound control strategy of parameters self-tuning fuzzy PID controller and feedforward control. This paper presents the mathematical model of non-uniform speed transmission controller, the control algorithm of position loop, the position function of winding machine and its interpolation method. The control software of upper computer is developed with VC++ 6.0 language based on Windows 2000 platform, and the structure and the functions of winding control program are described.
On the modified Marotto Theorem
Authors: Changpin Li
Venue: Proceedings of the 2003 International Conference on Physics and Control - Volume 2 (2003)

This paper provides some notes on the modified Marotto Theorem recently by Li and Chen (called "Marotto-Li-Chen Theorem" here for convenience and distinction). And a rigorous chaotification theorem is constructed for multi-dimensional discrete dynamical systems.
Ownership Detection and Protection for Learning Objects
Authors: Hend Madhour, Mohamed Ali Sfaxi, Maia Wentland Forte, Solange Ghernaouti Helie
Venue: Proceedings of the Sixth IEEE International Conference on Advanced Learning Technologies (2006)

Reuse of learning objects often requires a threedimensional adaptation : content, context and display. The resulting new object must explicitly refer to the set it comes from when being inserted in a Learning Object Repository (LOR). Thus, we organize Learning objects in the LOR according to three levels (abstract, instantiation and presentation levels) that take into account those ownership sides. To guarantee a correct insertion of into the LOR, we designed a network matcher in order to integrate new learning objects into the Learning Object Repository and linking them to existing ones in the Learning Object Network. However, this organization allows only ownership definition but not its detection and protection. That's why, we show limitations of existing ways to preserve ownership (especially the digital signature) and propose some possible solutions.
How the Self Controls Its "Automatic Pilot" when Processing Subliminal Information
Authors: Piotr Jáskowski, Blandyna Skalska, Rolf Verleger
Venue: Journal of Cognitive Neuroscience (2003)

Human performance may be primed by information not consciously available. Can such priming become so overwhelming that observers cannot help but act accordingly? In the present study, well-visible stimuli were preceded by whole series of unidentifiable stimuli. These series had strong, additive priming effects on behavior. However, their effect depended on the frequency with which they provided information conflicting to the visible main stimuli. Thus, effects of subliminal priming are under observers' strategic control, with the criterion presumably set as a function of the openly observable error frequency. Electrical brain potentials show that this criterion acts simultaneously at the level of visual discrimination of the primes and at motor activation evoked by the primes, thereby shielding observers from unwanted information.
A Study on Performance Analysis of Structural Deterioration for RDBMS
Authors: Takashi Hoshino, Kazuo Goda, Masaru Kitsuregawa
Venue: Proceedings of the 21st International Conference on Data Engineering Workshops (2005)

Our research focuses on autonomic database reorganization for DBMS. Reorganization counteracts structural deterioration in tablespaces to recover performance. Structural deterioration through data updates is inevitable, therefore reorganization is an essential task in database administration. At present, there are only vague metrics of disorganization for judging whether administrator should perform reorganization or not. In this paper, we consider IO behavior inside storage and clarify causal relationship between level of structural deterioration and that of performance deterioration. We propose a method to quantitatively detect performance deterioration for reorganization trigger, and evaluate it with empirical test studies.
Axiomatizing binding bigraphs
Authors: Troels C. Damgaard, Lars Birkedal
Venue: Nordic Journal of Computing (2006)

We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove that it is unique up to certain isomorphisms.Our work builds on Milner's axioms for pure bigraphs. We have extended the set of axioms with five new axioms concerned with binding, and we have altered some of Milner's axioms for ions, because ions in binding bigraphs have names on both their inner and outer faces. The resulting theory is a conservative extension of Milner's for pure bigraphs.
Implementing the \Omega Failure Detector in the Crash-Recovery Model with partial Connectivity and/or Synchrony
Authors: Mikel Larrea, Cristian Martin
Venue: Proceedings of the 17th International Conference on Database and Expert Systems Applications (2006)

Unreliable failure detectors are mechanisms providing information about process failures, that allow to solve several problems in asynchronous systems, e.g., Consensus. A particular class of failure detectors, \Omega, provides an eventual leader election functionality. Recently, an algorithm implementing \Omega with unknown membership and weak synchrony has been proposed by Jiminez et al. In that work, a crash failure model and a system in which every process has a direct communication link with every other process are assumed. In this paper, we adapt this algorithm to the crash-recovery failure model, and show that it also works in systems with partial connectivity and/or synchrony.
The application of symmetric orthogonal multiwavelets and prefilter technique for image compression
Authors: Jiazhong Chen, Xun Ouyang, Wu Zheng, Jun Xu, Jingli Zhou, Shengsheng Yu
Venue: Multimedia Tools and Applications (2006)

Multiwavelets are the new addition to the body of wavelet theory. There are many types of symmetric multiwavelets such as GHM and CL. However, the matrix filters generating the GHM system multiwavelets do not satisfy the symmetric property. Apparently, GHM cannot solve the edge problem accurately. For this reason, this paper presents some formulas for constructing the symmetric orthogonal matrix filters, which leads the symmetric orthogonal multiwavelets (SOM). Moreover, we analyze the frequency property by vanishing moments and prefilter technology to get a good combining frequency property. To prove the good property of SOM in image compression application, we compared the compression effect with other writers' work, which was in published literature. Extensive experimental results demonstrate that our new symmetric orthogonal matrix filters combining with the prefilter technology and coefficient reorganization exhibit performance equal to, or in several cases superior to the GHM and CL symmetric multiwavelets.
Web User Access Pattern Mining Based on Kohonen Neural Network
Authors: Long-Zhen Duan, Mei Fan, Long-Jun Huang
Venue: Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology (2006)

This paper provides a method for web user access pattern mining based on kohonen neural network. User session vectors were first input to kohonen network, after training we found several clusters, compute the median of each cluster and characterize what the cluster represents with the URLs. When the online user requests URLs, a matching category is found according to the pages the user has accessed. Pages that the use has not accessed so far and will access are included as suggestions and links in the html to the user. This method is efficient in user access pattern mining and from it we can provide personalize services in order to succeed in the competition of web services.
Formal proofs for QoS-oriented Transformations
Authors: Kenneth Chan
Venue: Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops (2006)

The methodology of Model Driven Architecture (MDA) has been a popular area of research in recent years. To cater for the increasing awareness of the importance in software Quality of Service (QoS), some have suggested MDA as a solution. However, unlike functional properties, QoS displayed in a development cycle is prone to changes after deployment due to a non-constant runtime environment and usage. A possible solution is to provide a monitoring framework to ensure that QoS violations are always detectable. However, as with any MDA based approach it is dangerous to simply assume that transformations will do exactly as specified. This paper describes an approach for producing formal proofs for our particular QoS-oriented transformational system[1], based on the proof-as-programs methodology.
Using MMQ Model for Performance Simulation of Storage Area Network
Authors: LI Chao, ZHOU Li-zhu, XING Chun-xiao
Venue: Proceedings of the 21st International Conference on Data Engineering Workshops (2005)

The infrastructures of SANs are complex, and the implementations/designs of SANs are varied. So finding a proper modeling method to analysis and simulate SAN performance in a systemic/consistent way is very important for the work efficiency of SAN designers and performance tuners. This paper proposes a methodology of using a multi-tier multiserver queue (MMQ) network system to model a SAN system, which can be generalized to different SAN instances neatly, and be used for both performance analysis and simulation. Besides the main idea and high-level MMQ model, the application of this method is illustrated by constructing a software simulator, which is also designed and implemented in a systemic and reusable style. The simulation validation shows that maximum error range is less than 10%. So we can consider this method a sound solution for the quick performance design comparison and analysis of SAN.
A Scalable P2P Database System with Semi-Automated Schema Matching
Authors: Colin Rouse, Sonia Berman
Venue: Proceedings of the 26th IEEE International ConferenceWorkshops on Distributed Computing Systems (2006)

This paper describes a system called Mapster that allows users in a P2P network to share their databases. The research addresses problems of heterogeneity and scalability of sharing databases in P2P networks. Fine-grained access to users' databases is provided through schema matching and a super-peer topology. The schema matching component allows information to be translated across heterogeneous databases by semi-automatically determining the mappings between the databases within the P2P network. The super-peer topology provides a suitable environment for the schema matching and query processing.
Disturbed Sound Lateralization in Patients with Spatial Neglect
Authors: Ulrike Zimmer, Jörg Lewald, Hans-Otto Karnath
Venue: Journal of Cognitive Neuroscience (2003)

Previous studies on auditory space perception in patients with neglect have investigated localization of free-field-sound stimuli or lateralization of dichotic stimuli that are perceived intracranially. Since those studies in part revealed contradictory results, reporting either systematic errors to the left or systematic errors to the right, we reassessed the ability of auditory lateralization in patients with right hemispheric lesions with and without neglect. Unexpectedly, about half of the patients with neglect showed erratic judgments on sound position, that is, they were completely unable to lateralize sounds. The remaining neglect patients only showed a small deviation of the auditory median plane to the left side, indicating that they perceived the sounds as slightly shifted to the right side. The comparison between both groups revealed higher severity of neglect in the group of neglect patients who were unable to perform the task, suggesting that the inability of sound lateralization was associated with the strength of clinical neglect. However, we also observed 1 out of 9 patients with left brain damage who was not able to lateralize spatial sounds. This patient did not show any symptoms of spatial neglect. Thus, it may be that a spatial auditory deficit, such as that observed here in right-brain-damaged patients, only co-occurs with spatial neglect if the right superior temporal cortex is lesioned.
Assesssing uncertainty in software reliability via quasi-monte carlo methods
Authors: Hongmei Chi, Edward Jones
Venue: Proceedings of the 37th conference on Winter simulation (2005)

The need of conducting uncertainty analysis in software reliability for the large and complexity system is demanding. The Monte Carlo method is used for reliability prediction and assessing uncertainty in software reliability. An important improvement of the convergence rate (and thus of speed) can be achieved by using quasi-Monte Carlo methods. These are variants of ordinary Monte Carlo methods, but use quasi-random (highly uniform) sequences instead of pseudorandom sequences. This enhanced uniformity leads to higher rates of convergence. Analysis of a simple problem in software reliability showed that quasi-Monte Carlo methods achieve the same or better parameter estimates as standard Monte Carlo, but have the potential to converge faster and so reduce the computational burden. The paper will explore the use of quasi-Monte Carlo methods to assessing uncertainty in software Reliability.
Prosopagnosia as a Deficit in Encoding Curved Surface
Authors: Bruno Laeng, Verne S. Caviness
Venue: Journal of Cognitive Neuroscience (2001)

RP is a case of "developmental" prosopagnosia who, according to brain-imaging segmentation data, shows reduction in volume of a limited set of structures of the right hemisphere. RP is as accurate as control subjects in tasks requiring the perception of nonface objects (e.g., matching subordinate labels to exemplars, naming two-tone images), with the exception of one perceptual task: The matching of different perspectives of amoebae-like stimuli (i.e., volumes made of a single smooth surface). In terms of speed ("efficiency") of responses, RP's performance falls clearly outside the normal limits also in other tasks that include "natural" but nonface stimuli (i.e., animals, artia facts). Specifically, RP is slow in perceptual judgments made at very low (subordinate) levels of semantic categorization and for objects and artifacts whose geometry present much curved features and surface information. We conclude from these analyses that prosopagnosia can be the result of a deficit in the representation of basic geometric volumes made of curved surface. In turn, this points to the importance (necessity) for the normal visual system of such curved and volumetric information in the identification of human faces.
Integrating Planning and a Rule-Based System for Controlling a Robot Soccer Team
Authors: Gedson Faria, Roseli A. F. Romero, Edson Prestes
Venue: Proceedings of the Ninth Brazilian Symposium on Neural Networks (2006)

There are many potential field techniques to control multiple robots. Among them are Arkin's Potential Field, Harmonic Potential Field and other ones based on the solution of the Boundary Value Problem (BVP). Most of them have been applied to control just one robot. In this paper, a modification in a technique of Potential Field based on the solution of BVP is proposed for controlling multiple robots. This modification is called Locally Oriented Potential Field (LOPF) and it overcomes the drawback of BVP based techniques when they are applied for controlling multi robots. Besides, a rule based system has been proposed to characterize the functionality of each robot for realizing an specific task. This is necessary for that the behavior of the equip members not be competitive but collaborative. It will be shown that LOPF is very appropriated to control robot soccer teams, in which each robot has the necessity of adapting its behavior during a game. Furthermore, some experiment results are presented to show the efficiency of the proposed technique.
Image Pre-Conditioning for Out-of-Focus Projector Blur
Authors: Michael S. Brown, Peng Song, Tat-Jen Cham
Venue: Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 2 (2006)

We present a technique to reduce image blur caused by out-of-focus regions in projected imagery. Unlike traditional restoration algorithms that operate on a blurred image to recover the original, the nature of our problem requires that the correction be applied to the original image before blurring. To accomplish this, a camera is used to estimate a series of spatially varying point-spread-functions (PSF) across the projector's image. These discrete PSFs are then used to guide a pre-processing algorithm based on Wiener filtering to condition the image before projection. Results show that using this technique can help ameliorate the visual effects from out-of-focus projector blur.
Brain Signatures of Syntactic and Semantic Processes during Children's Language Development
Authors: Anja Hahne, Korinna Eckstein, Angela D. Friederici
Venue: Journal of Cognitive Neuroscience (2004)

Developmental aspects of language comprehension were investigated using event-related brain potentials. Children between the ages of 6 and 13 listened to passive sentences that were correct, semantically incorrect, or syntactically incorrect, and data in each condition were compared with those of adults. For semantic violations, adults demonstrated a negativity (N400), as did children, but the latency decreased with age. For syntactic violations, adults displayed an early left anterior negativity (ELAN) and a late centro-parietal positivity (P600). A syntactic negativity and a late positivity were also present for children between 7 and 13 years, again with latency decreasing with age. Six-year-olds, in contrast, did not demonstrate an ELAN effect, but a late, reduced P600 pattern for the syntactic violation condition. In the early time window, the 6-year-olds displayed a widely distributed negativity that was larger for the correct than for the syntactically incorrect condition. These data indicate that the neurophysiological basis for semantic processes during auditory sentence comprehension does not change dramatically between early childhood and adulthood. Syntactic processes for passive sentences appear to differ between early and late childhood, at least with respect to those processes reflected in the ELAN component. As there is evidence that the ELAN reflects highly automatic structure-building processes, we conclude that these processes are not yet established at age 7, but gradually develop toward adult-like processing during late childhood.
Gabor-type matrices and discrete huge Gabor transforms
Authors: Sigang Qiu, H. G. Feichtinger
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1995. on International Conference - Volume 02 (1995)

A Gabor family is obtained from a Gabor atom (or Gabor window, or basic building block) by time-frequency shifts along some discrete TF-lattice. Such a family is usually not orthogonal. Therefore the determination of appropriate coefficients in order to obtain a series representation of a given signal in terms of this family has been considered a computational intensive task for a long time. We introduce a class of matrices, called Gabor-type matrices and show that the product of two Gabor-type matrices is again a Gabor-type matrix of the same type. The key point for applications is based on the observation that the multiplication of Gabor-type matrices can be replaced by some special "multiplication" of associated small block matrices. We propose an efficient algorithm, which we call the block-multiplication, and which makes explicit use of the sparsity of those Gabor-type matrices. As an interesting consequence, we show that Gabor operators corresponding to Gabor triples (g/sub k/,a,b) commute for arbitrary signals g/sub k/ (k=1,2) provided that ab divides the signal length.
A Multimedia Content Interchange Framework for TV Producers
Authors: Jaime Delgado, Silvia Llorente, Enric Peig, Anna Carreras
Venue: Proceedings of the Second International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution (2006)

When content producers are forced to generate and manage content day after day (and, most of the times, in a hurry), like in the case of TV broadcasters, they have different priorities and requirements than other kind of content providers. However, the requirement for content interchange through optimum content search is always there. The paper presents how the issue of interoperability of metadata and digital rights information is solved in a specific project, the XAC (Xarxa IP Audiovisual de Catalunya, Audiovisual IP Network of Catalonia), where TV programs producers are the main involved content owners. After an analysis of how these content providers manage metadata and rights information, a specific proposal fulfilling providers' requirements and International Standards, the XAC Metadata Set (XAC-MS), is described. This is the basis for implementing a system for multimedia content interchange that could be extended to other kinds of multimedia publishing.