ppxscal/embedding_network huggingface dataset:
Mapping Heterogeneous Distributed Applications on Clusters
Authors: Sylvain Jubertie, Emmanuel Melin, Jérémie Vautard, Arnaud Lallouet
Venue: Proceedings of the 14th international Euro-Par conference on Parallel Processing (2008)

Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one side, component-based approaches provide an abstraction suitable for development, but on the other side, actual hardware becomes every day more complex and heterogeneous. Despite this increasing gap, mapping components to processors and networks is commonly done manually and is mainly a matter of expertise. Worse, the amount of efforts required for this task rarely allows to further consider optimal hardware use or sensitivity analysis of data scaling. In this paper, we rely on a formal and experimentally sound model of performance and propose a constraint programming based framework to find consistent and efficient mappings of an application onto an architecture. Experiments show that an optimal mapping for a medium-sized application can be found in a few seconds.
Transformation of Fuzzy Takagi-Sugeno Models into Piecewise Affine Models
Authors: Martin Herceg, Michal Kvasnica, Miroslav Fikar
Venue: Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms (2007)

Fuzzy modeling of dynamical systems can be viewed as an interpolation of a collection of linear models where the interpolation coefficients depend on set membership functions. The fuzzy interference applies only when the membership functions intersect otherwise only one model is valid. The approach presented in this paper models the intersections with an uncertainty measure reducing the overall fuzzy model to Piecewise Affine (PWA) description, over-approximating the original fuzzy model. Once such an approximation is calculated, existing algorithms can be applied which yield controllers guaranteeing closed-loop stability. Since the PWA model over-approximates a given fuzzy model, if such a controller is calculated, it guarantees stability of the original fuzzy model as well.
A genus oblivious approach to cross parameterization
Authors: Janine Bennett, Valerio Pascucci, Kenneth Joy
Venue: Computer Aided Geometric Design (2008)

In this paper we present a robust approach to construct a map between two triangulated meshes, M and M^' of arbitrary and possibly unequal genus. We introduce a novel initial alignment scheme that allows the user to identify ''landmark tunnels'' and/or a ''constrained silhouette'' in addition to the standard landmark vertices. To describe the evolution of non-landmark tunnels we automatically derive a continuous deformation from M to M^' using a variational implicit approach. Overall, we achieve a cross parameterization scheme that is provably robust in the sense that it can map M to M^' without constraints on their relative genus. We provide a number of examples to demonstrate the practical effectiveness of our scheme between meshes of different genus and shape.
SIFT Based Ball Recognition in Soccer Images
Authors: Marco Leo, Tiziana D'Orazio, Paolo Spagnolo, Pier Luigi Mazzeo, Arcangelo Distante
Venue: Proceedings of the 3rd international conference on Image and Signal Processing (2008)

In this paper a new method for ball recognition in soccer images is proposed. It combines Circular Hough Transform and Scale Invariant Feature Transform to recognize the ball in each acquired frame. The method is invariant to image scale, rotation, affine distortion, noise and changes in illumination. Compared with classical supervised approaches, it is not necessary to build different positive training sets to properly manage the great variance in ball appearances. Moreover, it does not require the construction of negative training sets that, in a context as soccer matches where many no-ball examples can be found, it can be a tedious and long work. The proposed approach has been tested on a number of image sequences acquired during real matches of the Italian Soccer "Serie A" championship. Experimental results demonstrate a satisfactory capability of the proposed approach to recognize the ball.
Modelling the Cortical Columnar Organisation for Topological State-Space Representation, and Action Planning
Authors: Louis-Emmanuel Martinet, Benjamin Fouque, Jean-Baptiste Passot, Jean-Arcady Meyer, Angelo Arleo
Venue: Proceedings of the 10th international conference on Simulation of Adaptive Behavior: From Animals to Animats (2008)

We present a neuromimetic navigation system modelling the columnar structure of the cortex to mediate spatial learning and action planning. The model has been validated on a spatial behavioural task, namely the Tolman Honzik's detour protocol, which allowed us to test the ability of the system to build a topological representation of the environment, and to use it to exhibit flexible goal-directed behaviour (i.e., to predict the outcome of alternative trajectories to avoid blocked pathways). First, it is shown that the model successfully reproduces the navigation performance of rodents in terms of goal-directed path selection. Second, we report on the neural response patterns characterising the learnt columnar space representation.
Dynamic Service Discovery Through Meta-interactions with Service Providers
Authors: Tomas Vitvar, Maciej Zaremba, Matthew Moran
Venue: Proceedings of the 4th European conference on The Semantic Web: Research and Applications (2007)

Dynamic discovery based on semantic description of services is an essential aspect of the Semantic Web services integration process. Since not all data required for service discovery can always be included in service descriptions, some data needs to be obtained during run-time. In this paper we define a model for service interface allowing required data to be fetched from the service provider during discovery process. We also provide a specification of such interface for WSMO and demonstrate the model on a case scenario from the SWS Challenge implemented using WSMX --- a middleware platform built specifically to enact semantic service oriented architectures.
Cryptanalytic Attack on Cryptographic Sequence Generators: The Class of Clock-Controlled Shrinking Generators
Authors: A. Fúster-Sabater, P. Caballero-Gil
Venue: Proceedings of the international conference on Computational Science and Its Applications, Part II (2008)

The shrinking generator is a very popular sequence generator with cryptographic applications. Nowadays, it is still considered as a secure keystream generator. In this work, it is shown that the knowledge of only a low number of generated bits is sufficient to break it. Indeed, whereas the linear complexity of the generated sequence (the shrunken sequence) is bounded by A ·2(S ¿ 2) < LC ≤ A ·2(S ¿ 1) (A and S being the lengths of the two component registers), we claim that the generator can be cryptanalyzed with the knowledge of A ·S intercepted bits and simple computations. Such a result is proven thanks to the definition of the shrunken sequences as a particular kind of interleaved sequences. A similar attack can be extended to any other generator of the class of clock-controlled shrinking generators. Furthermore, this paper confirms that certain bits of the interleaved sequences have a greater strategic importance than others, which must be considered as a proof of weakness of interleaved sequence generators regarding their use in cryptography.
How Can Java Be Made Blind-Friendly
Authors: Norbert Markus, Zoltan Juhasz, Gabor Bognar, Andras Arato
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

The widely used and highly popular Java programming language is proved to be a great tool for developing platform independent applications. Everyday users mostly encounter them when using portable devices (mobile phones, PDAs, etc). However, the ordinary Java applications are inaccessible for the blind in general. Even the most used screen readers can only be enabled to handle GUI elements of a Java application by an additional adaptation package (e.g. access bridge for Jaws). Even with this, only a portion of existing Java programs that use swing classes may be made partially accessible for the blind. The solution offered eliminates the need of any screen reader.
Queueing Analysis for Networks Under DoS Attack
Authors: Amar Aissani
Venue: Proceedings of the international conference on Computational Science and Its Applications, Part II (2008)

In this paper, we considera queueing model of computer network under DoS attacks. The arrival of SYN packets contains two types: the regular request packets and the attack packets that request for connections. We assume that the connection requests arrive according to a Poisson processes and the service times are general but different for the two types of requests. A maximum number of connections can be served at the same time. Each half-open connection is held for at most a deterministic or random period of time (timeout). We obtain the steady-state probability distribution of the stochastic process describing the evolution of such a system. Next, we show how to compute some security metrics such as the loss-probability or the buffer occupancy percentage of half-open connections for attack packets.
Secret Ninja Formal Methods
Authors: Joseph R. Kiniry, Daniel M. Zimmerman
Venue: Proceedings of the 15th international symposium on Formal Methods (2008)

The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric for use in undergraduate classes. This paper describes a method, used successfully at several universities, that combines ninja stealth with the latest advances in formal methods tools and technologies to integrate applied formal methods into software engineering courses.
GPS speed and fatigue control system
Authors: Syed Junaid, Khaja Azeemuddin, Katuri Sesanka, Arun Sarode
Venue: Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation (2008)

This System is designed to Monitor the Driver for Signs of Fatigue and Control the Speed of a vehicle by Implementing an action depending on the Response from the Driver. Which can be over speeding in restricted Locations or falling asleep Due to Fatigue.
Considerations for Real-Time Spatially-Aware Case-Based Reasoning: A Case Study in Robotic Soccer Imitation
Authors: Michael W. Floyd, Alan Davoust, Babak Esfandiari
Venue: Proceedings of the 9th European conference on Advances in Case-Based Reasoning (2008)

Case-base reasoning in a real-time context requires the system to output the solution to a given problem in a predictable and usually very fast time frame. As the number of cases that can be processed is limited by the real-time constraint, we explore ways of selecting the most important cases and ways of speeding up case comparisons by optimizing the representation of each case. We focus on spatially-aware systems such as mobile robotic applications and the particular challenges in representing the systems' spatial environment. We select and combine techniques for feature selection, clustering and prototyping that are applicable in this particular context and report results from a case study with a simulated RoboCup soccer-playing agent. Our results demonstrate that preprocessing such case bases can significantly improve the imitative ability of an agent.
Spatial-Temporal Certification Framework and Extension of X.509 Attribute Certificate Framework and SAML Standard to Support Spatial-Temporal Certificates
Authors: Ana Isabel González-Tablas Ferreres, Benjamín Ramos Álvarez, Arturo Ribagorda Garnacho
Venue: Proceedings of the 4th European PKI workshop: Theory and Practice on Public Key Infrastructure: Theory and Practice (2007)

The recent development of location-based services has originated a set of new security services that address their particular security problems. Spatial-temporal certification services are among these new services. They have as main goal the generation of evidences about an entity's spatial-temporal information and, in general, their life-cycle support. Currently there is still a lack of a general framework for spatial-temporal certification services. In this work it is presented such a framework and an extension of the X.509 attribute certificate framework and the SAML standard to represent spatial-temporal certificates.
Robot Navigation Based on Fuzzy RL Algorithm
Authors: Yong Duan, Baoxia Cui, Huaiqing Yang
Venue: Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks (2008)

This paper focused on the problem of the autonomous mobile robot navigation under the unknown and changing environment. The reinforcement learning (RL) is applied to learn behaviors of reactive robot. T-S fuzzy neural network and RL are integrated. T-S network is used to implement the mapping from the state space to Q values corresponding with action space of RL. The problem of continuous, infinite states and actions in RL is able to be solved through the function approximation of proposed method. Finally, the method of this paper is applied to learn behaviors for the reactive robot. The experiment shows that the algorithm can effectively solve the problem of navigation in a complicated unknown environment.
Process Model Elicitation and a Reading Technique for Web Usability Inspections
Authors: Tayana Conte, Verônica T. Vaz, Jobson Massolar, Emilia Mendes, Guilherme Horta Travassos
Venue: Proceedings of the 2008 international workshops on Web Information Systems Engineering (2008)

Given the growth in the number and size of Web Applications worldwide, Web quality assurance, and more specifically Web usability have become key success factors. We have developed a usability inspection technique (WDP - Web Design Perspectives-Based Usability Evaluation) specific for Web applications' usability evaluation. The results of two previous experimental studies indicate the feasibility of the WDP technique showing it to be more effective than and as efficient as Nielsen's Heuristics Evaluation. This work describes a recent step of our research, where we examined how inspectors apply the WDP technique. In order to achieve our goal, we executed an observational study, results of which lead us to two different versions of the WDP technique.
Adaptive Recognition of Color-Coded Objects in Indoor and Outdoor Environments
Authors: Yasutake Takahashi, Walter Nowak, Thomas Wisspeintner
Venue: RoboCup 2007: Robot Soccer World Cup XI (2008)

To achieve robust color perception under varying light conditions in indoor and outdoor environments, we propose a three-step method consisting of adaptive camera parameter control, image segmentation and color classification. A controller for the intrinsic camera para- meters is used to improve color stability in the YUV space. Segmentation is done to detect spatially coherent regions of uniform color belonging to objects in the image. Then, a probabilistic classification method is applied to label the colors by use of a Gaussian color distribution model. Experiments under combination of artificial and natural illuminations indoors and outdoors have been carried out. The results show the feasibility of this approach as well as the problems that occur under these highly diverse light situations. In particular we investigate the application in a RoboCup soccer scenario pointing toward future outdoor use.
OCR Oriented Binarization Method of Document Image
Authors: You Yang
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

For the gray-level image of government resource document, a linear transform was employed to enhance the image contrast. A spatial filter was applied to eliminate image noise. After this preprocessing, the threshold surface T1 was computed by Bernsen algorithm, and the global threshold T2 was calculated by modified Otsu method. On the basis of T1 and T2, other three thresholds were defined, which include the broken stroke value T3, the average value T4 of neighborhood and the union value T5 between global and local. Then the gray-level image was binarized through the combination of these five values. Our experiments showed that the proposed method using these five thresholds was adaptive to various government documents. By ghost artifacts eliminating and the broken strokes mending, it's benefit to OCR.
Linguistic Summarization of Time Series by Using the Choquet Integral
Authors: Janusz Kacprzyk, Anna Wilbik, Sławomir Zadrożny
Venue: Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing (2007)

We further extend a new approach to a linguistic summarization of time series proposed in our previous works (cf. Kacprzyk, Wilbik and Zadrożny [1,2,3,4,5]) in which we put forward the use of a fuzzy linguistic quantifier driven aggregation of trends (partial scores) via the traditional Zadeh calculus of linguistically quantified propositions and the Sugeno integral. Here we use for this purpose the Choquet integral that has been widely advocated for many decision analytic and economic problems. The results are intuitively appealing and the method is effective and efficient.
Length Codes, Products of Languages and Primality
Authors: Arto Salomaa, Kai Salomaa, Sheng Yu
Venue: Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers (2008)

We continue the investigation, [9,11,5,1,2], of representing a language as a catenation of languages, each of which cannot be further decomposed in a nontrivial fashion. We study such prime decompositions, both finite and infinite ones. The notion of a length code, an extension of the notion of a code leads to general results concerning decompositions of star languages. Special emphasis is on the decomposition of regular languages. Also some open problems are mentioned.
Evaluation of an optimal watermark tampering attack against dirty paper trellis schemes
Authors: Patrick Bas, Gwenaël Doërr
Venue: Proceedings of the 10th ACM workshop on Multimedia and security (2008)

Benchmarking watermarking systems now goes beyond only evaluating the ability of the embedded watermark to withstand common signal primitives such as filtering, resampling, lossy compression, D/A-A/D conversions, etc. Evaluation procedures have to consider how much information leaks from a watermarking system since such knowledge could prove most helpful to design very powerful attacks. This paper further refines an attack on dirty paper watermarking schemes which relies on security weaknesses i.e. information leakage. In particular, additional constraints are introduced to be able to handle 'complex' trellises. Moreover, the efficiency of this attack has been evaluated for different trellis configurations. Quite counter-intuitively, increasing the number of states in the trellis seems to enhance both the robustness and the security of the system.
A Cultural Algorithm with Operator Parameters Control for Solving Timetabling Problems
Authors: Carlos Soza, Ricardo Landa, María Cristina Riff, Carlos Coello
Venue: Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing (2007)

A cultural algorithm, together with a set of new operators for the timetabling problem(TP), is proposed in this paper. The new operators extract information about the problem during the evolutionary process, and they are combined with some previously proposed operators, in order to improve the performance of the algorithm. The proposed algorithm is tested with a benchmark of 20 instances, and compared with respect to three other algorithms: two evolutionary algorithms and a simulated annealing algorithm which won an international competition on TP.
An investigation of computer technology integration and factors that influence technology integration in north carolina's secondary english language arts classrooms
Authors: Dixie Mcginty
Venue:  (2008)

The purpose of this study was to provide school leaders with a view of the status of computer technology integration within North Carolina's secondary English Language Arts (ELA) classrooms following the introduction of the state Educational Technology Plan. Michael Fullan's change theory was used as a framework for the research with a focus on the dominant problems of "need, clarity, complexity, and quality" in implementing change that alters the culture of the organization through the use of computer technology. Participants in the statewide study of ELA teachers completed 104 electronic mode surveys and 54 paper mode surveys answering questions concerning computer technology use in the secondary ELA classroom. Special attention was given to the teacher as a critical local component in building an organization's capacity to implement change in classrooms as recommended by the North Carolina Educational Technology Plan. Survey results revealed that teachers have changed their classroom practices since the initiation of the Educational Technology Plan and that most perceive computer technology as a priority need in ELA classrooms. Results also revealed that half the teachers were not aware that a state technology plan existed, and more than one-third were unaware that a district technology plan existed. In addition, statistically significant differences existed between responses to specific survey items and the respondents' survey mode and age. Most teachers responded that students use computers too little in their classrooms and that classes use school computer labs infrequently. Teachers specifically named limited access to computer labs, faulty or outdated computer lab equipment, and cost of technology as barriers to meeting their technology needs. Themes that emerged in the identification of barriers within various areas of classroom technology integration included lack of awareness, lack of time, lack of equipment, and lack of training. Survey results suggest that change regarding technology integration in the ELA classroom is in the implementation phase, but that the change has not become institutionalized, and the Technology Plan's suggestion to align technology use with the instructional goals of individual schools as the best means of using technology to improve student achievement is not widespread.
Real Electronic Cash Versus Academic Electronic Cash Versus Paper Cash (Panel Report)
Authors: Jon Callas, Yvo Desmedt, Daniel Nagy, Akira Otsuka, Jean-Jacques Quisquater, Moti Yung
Venue: Financial Cryptography and Data Security: 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers (2008)

Most electronic cash systems being deployed look very different from what academics have been envisioning over the last 3 decades. Experts on the panel gave different definitions for electronic cash, surveyed systems deployed in some countries, discussed reliability, privacy and security concerns. Moreover, electronic cash and advertisements were linked together.
Streaming Estimation of Information-Theoretic Metrics for Anomaly Detection (Extended Abstract)
Authors: Sergey Bratus, Joshua Brody, David Kotz, Anna Shubina
Venue: Proceedings of the 11th international symposium on Recent Advances in Intrusion Detection (2008)

Information-theoretic metrics hold great promise for modeling traffic and detecting anomalies if only they could be computed in an efficient, scalable way. Recent advances in streaming estimation algorithms give hope that such computations can be made practical. We describe our work in progress that aims to use streaming algorithms on 802.11a/b/g link layer (and above) features and feature pairs to detect anomalies.