ppxscal/embedding_network huggingface dataset:
A Modified Soft-Shape-Context ICP Registration System of 3-D Point Data
Authors: Jiann-Der Lee, Chung-Hsien Huang, Li-Chang Liu, Shih-Sen Hsieh, Shuen-Ping Wang, Shin-Tseng Lee
Venue: Neural Information Processing: 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I (2007)

A facial point data registration system based on ICP is presented. The reference facial point data are extracted from patient's pre-stored CT images, and the floating facial point data are captured from the patient directly by using a touch or non-touch capture device. A modified soft-shape-context ICP, which includes an adaptive dual AK-D tree for searching the closest point and a modified objective function, is embedded in this system. The adaptive dual AK-D tree searches the closest-point pair and discards insignificant control coupling points by an adaptive distance threshold on the distance between the two returned closest points which are searched by using AK-D tree search algorithm in two different partition orders. In the objective function of ICP, we utilize the modified soft-shape-context information which is one kind of projection information to enhance the robustness of the objective function. Relying on registering the floating data to the reference data, the system provides the geometric relationship for a medical assistant system and a pre-operative training. Experiment results of using touch and non-touch capture devices to capture floating point data are performed to show the superiority of the proposed system.
Informatics as a Contribution to the Modern Constructivist Education
Authors: Ivan Kalas, Michal Winczer
Venue: Proceedings of the 3rd international conference on Informatics in Secondary Schools - Evolution and Perspectives: Informatics Education - Supporting Computational Thinking (2008)

There are many factors --- currently not well understood --- which influence how efficiently the educational system builds and cultivates digital literacy of pupils. Among them is the quality of the educational policy documents, which set the overall strategy from the governmental point; the level of digital literacy of the schools' management and teachers; the level of concern of the pupils and their parents in acquiring competency; the quality and richness of the teach ing-learning resources; how dedicated the school is to innovation in general; how is competency implemented in schools --- through Informatics or ICT as a subject, or through ICT integrated in all subjects and the quality of collaboration between teachers of different subjects etc.In our department we make a great effort to positively stimulate two of these factors: provide modern university pre-service teacher development and produce attractive and inspiring Informatics textbooks, educational software and learning resources for children, students and teachers. In this paper we present our cur rent series of Informatics textbooks for lower secondary schools. We will analyze in detail the most recent of them: Informatics Around Us. We illustrate the contents and style of the book and we reflect on how our textbooks may help stimulate a kind of bottom-up transformation of our schools into creative and motivating learning playgrounds.
A Fuzzy Controller for Autonomous Negotiation of Stairs by a Mobile Robot with Adjustable Tracks
Authors: Winai Chonnaparamutt, Andreas Birk
Venue: RoboCup 2007: Robot Soccer World Cup XI (2008)

Tracked mobile robots with adjustable support tracks or flippers are popular promising solutions for negotiating rough terrain and 3D obstacles. Though many according robot bases are in principle physically capable of climbing stairs, it is a non-trivial control-task for a remote tele-operator, especially when the user can not directly see the robot like in search and rescue scenarios. To limit training requirements and to ease the cognitive load on operators, respectively to enable fully autonomous rescue robots, we developed a fuzzy controller for this task, which adjusts the drive forces and the posture of the flipper. The design of the controller is guided by observing the strategies of a trained user when tele-operating a robot with unlimited visual information. In doing so, an Open Dynamics Engine (ODE) simulation of our robot is used where the full set of all physical parameters is accessible for analysis. Based on this data, it is shown in several experiments that the controller is not only capable of climbing stairs but that it does so in a more efficient manner than the human user who served as training model.
Bilinear Groups of Composite Order
Authors: Dan Boneh
Venue: Proceedings of the 1st international conference on Pairing-Based Cryptography: Pairing 2007 (2007)

Bilinear groups of composite order are groups with an efficient bilinear map where the group order is a product of two large primes. Such groups are constructed from pairing friendly curves over a finite field. Composite order bilinear groups were recently used in a number of interesting cryptographic constructions. This talk will survey three applications:1Private Information Retrieval1Anonymous Identity Based Encryption1Non-Interactive Zero Knowledge.
Towards a complete transcriptional regulatory code: improved motif discovery using informative priors
Authors: Alexander J. Hartemink
Venue:  (2008)

Transcriptional regulation is the primary mechanism employed by the cell to ensure coordinated expression of its numerous genes. A key component of this process is the binding of proteins called transcription factors (TFs) to corresponding regulatory sites on the DNA. Understanding where exactly these TFs bind, under what conditions they are active, and which genes they regulate is all part of deciphering the transcriptional regulatory code. An important step towards solving this problem is the identification of DNA binding specificities, represented as motifs, for all TFs. In spite of an explosion of TF binding data from high-throughput technologies, the problem of motif discovery remains unsolved, due to the short length and degeneracy of binding sites. We introduce PRIORITY, a Gibbs sampling-based approach, which incorporates informative positional priors into a probabilistic framework, to find significant motifs from high-throughput TF binding data. We use different data sources to build our positional priors and apply them to yeast ChIP-chip data: (1) TFs can be classified into several structural classes based on their DNA-binding domains. Using a Bayesian learning algorithm, we show that it is possible to predict the class of a TF with remarkable accuracy, using information solely from its DNA binding sites. We further incorporate these results in the form of informative priors into PRIORITY, which learns the structural class of the TF in addition to its motif. (2) In the nucleus, DNA is present in the form of chromatin&mdash;wrapped around nucleosomes&mdash;with certain regions being more accessible to TFs than others. It has been shown that functional binding sites are generally located in nucleosome-free regions. We use nucleosome occupancy predictions to compute a novel positional prior that biases the search towards the more accessible regions, thereby enriching the motif signal. (3) Functional elements are often conserved across related species. Most conventional methods that exploit this fact use alignments. However, multiple alignments cannot always capture relocation and reversed orientation of binding sites across species. We propose a new alignment-free technique that not only accounts for these transformations, but is much faster than conventional methods. All our priors significantly outperform conventional methods, finding motifs matching literature for 52 TFs. We produce a genome-wide map of TF binding sites in yeast based on these and other novel motif predictions.
The speed of orthographic processing during lexical decision: Electrophysiological evidence for independent coding of letter identity and letter position in visual word recognition
Authors: Marina Mariol, Corentin Jacques, Marie-Anne Schelstraete, Bruno Rossion
Venue: Journal of Cognitive Neuroscience (2008)

Adults can decide rapidly if a string of letters is a word or not. However, the exact time course of this discrimination is still an open question. Here we sought to track the time course of this discrimination and to determine how orthographic information---letter position and letter identity---is computed during reading. We used a go/no-go lexical decision task while recording event-related potentials (ERPs). Subjects were presented with single words (go trials) and pseudowords (no-go trials), which varied in orthographic conformation, presenting either a double consonant frequently doubled (i.e., “ss”) or never doubled (i.e., “zz”) (identity factor); and a position of the double consonant was which either legal or illegal (position factor), in a 2 × 2 factorial design. Words and pseudowords clearly differed as early as 230 msec. At this latency, ERP waveforms were modulated both by the identity and by the position of letters: The fronto-central no-go N2 was the smallest in amplitude and peaked the earliest to pseudowords presenting both an illegal double-letter position and an identity never encountered. At this stage, the two factors showed additive effects, suggesting an independent coding. The factors of identity and position of double letters interacted much later in the process, at the P3 level, around 300--400 msec on frontal and central sites, in line with the lexical decision data obtained in the behavioral study. Overall, these results show that the speed of lexical decision may depend on orthographic information coded independently by the identity and position of letters in a word.
Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques
Authors: Guillaume Gauffre, Emmanuel Dubois, Remi Bastide
Venue: Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (2008)

Novel interactive systems such as Augmented Reality are promising tools considering the possibilities they offer, but no real development methods exist at the moment to help designers in their work. We present in this paper a design method for tightly coupling early interaction design choices and software design solutions. Based on an existing model used for abstract UI design, our work introduces a second model dedicated to the software UI specification and the model-based process used to derive one from the other. To achieve this, we present here a framework based on domain-specific models and transformations to link them and thus support the development process.
IDEAS4Games: Building Expressive Virtual Characters for Computer Games
Authors: Patrick Gebhard, Marc Schröder, Marcela Charfuelan, Christoph Endres, Michael Kipp, Sathish Pammi, Martin Rumpler, Oytun Türk
Venue: Proceedings of the 8th international conference on Intelligent Virtual Agents (2008)

In this paper we present two virtual characters in an interactive poker game using RFID-tagged poker cards for the interaction. To support the game creation process, we have combined models, methods, and technology that are currently investigated in the ECA research field in a unique way. A powerful and easy-to-use multimodal dialog authoring tool is used for the modeling of game content and interaction. The poker characters rely on a sophisticated model of affect and a state-of-the art speech synthesizer. During the game, the characters show a consistent expressive behavior that reflects the individually simulated affect in speech and animations. As a result, users are provided with an engaging interactive poker experience.
Electronic Parts Appearance Quality Prediction System Based on Wavelet-Fuzzy Neural Networks
Authors: Zhihui Huang, Shulin Kan, Jing Yuan, Yizhou Ren, Yufeng Wei, Qiaoying Dong
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

In order to realization electronic parts product appearance quality detection control, one kind of processor based on the intelligent knowledge automatic extraction and system intelligence modeling was presented. In the processor, wavelet-fuzzy technique and neural network technique are combined. Uses the fuzzy wavelet extraction image feature, and wavelet function is used as fuzzy membership function. The fuzzy inference is realized by neural network and the shape of membership function can be adjusted in real time. It endues the processor with better capability of learning and self adapt. Based on establishment product quality oriented key characteristics index dynamic adaptability analysis control system, an architecture of intelligent fuzzy neural network combined with quality management module of manufacturing execution system (MES) is presented. It formed a detection product appearance quality of intelligent decision support system. The results of experiments demonstrate that the system can detect product appearance quality perfectly, with a high precision and has the practicality.
Recursion in Higher Types and Resource Bounded Turing Machines
Authors: Lars Kristiansen
Venue: Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms (2008)

We prove that neat and natural fragments of Gödel's and Plotkin's capture complexity classes defined by imposing resource bounds on Turing machines.
Complexity results for the horizontal bar packing problem
Authors: Fethi Jarray, Marie-Christine Costa, Christophe Picouleau
Venue: Information Processing Letters (2008)

This paper deals with the packing of a grid by horizontal bars while respecting given orthogonal projections and several constraints of distance between the consecutive bars. We show that packing under a maximal or uniform distance is an NP-complete problem. We also give a polynomial time algorithm to solve the packing problem under a minimal distance.
Existence of positive periodic solutions for a generalized Nicholson's blowflies model
Authors: Jingwen Li, Chaoxiong Du
Venue: Journal of Computational and Applied Mathematics (2008)

In this paper, by using the Krasnoselskii cone fixed point theorem, we obtain a sufficient condition as well as a necessary condition for the existence of positive periodic solutions of the following generalized Nicholson's blowflies model: x^'(t)=-@d(t)x(t)+@?i=1mp"i(t)x(t-@t"i(t))e^-^q^"^i^(^t^)^x^(^t^-^@t^"^i^(^t^)^),t>=0. In the degenerate case, i.e., where the coefficients and delays of the above equation are all constants, a sufficient and necessary condition for the existence of positive periodic solutions is obtained. Our results are completely new, and generalize and improve some results from the literature.
On the Relation between Periodicity and Unbordered Factors of Finite Words
Authors: Štěpán Holub, Dirk Nowotka
Venue: Proceedings of the 12th international conference on Developments in Language Theory (2008)

Finite words and their overlap properties are considered in this paper. Let w be a finite word of length n with period p and where the maximum length of its unbordered factors equals k. A word is called unbordered if it possesses no proper prefix that is also a suffix of that word. Suppose k < p in w. It is known that n ≤ 2k ¿ 2, if w has an unbordered prefix u of length k. We show that, if n = 2k ¿ 2 then u ends in ab i , with two different letters a and b and i ¿ 1, and b i occurs exactly once in w. This answers a conjecture by Harju and the second author of this paper about a structural property of maximum Duval extensions. Moreover, we show here that i < k/3, which in turn leads us to the solution of a special case of a problem raised by Ehrenfeucht and Silberger in 1979.
A Study on USN Technologies for Ships
Authors: Seong-Rak Cho, Dong-Kon Lee, Bu-Geun Paik, Jae-Hoon Yoo, Young-Ha Park, Beom-Jin Park
Venue: Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing (2007)

This paper describes the ubiquitous computing technologies for ship, which is produced and assembled by many steel blocks. It particularly describes the testing of a 2.4 GHz wireless communications platform, especially zigbee, on a number of intelligent devices, with the blocks disturbing the wireless communication. The power line communication that is established in a ship already is also experimented for some data transfer. At last, the RFID technology is applied at the test bed that is composed of three steel containers. In this paper, we implemented some USN technologies in the test bed simulating a ship environment and investigated the basic characteristics of ubiquitous computing technologies. Possible applications of such ubiquitous computing technologies to ships are also introduced here in.
Transcoding Aspects for Image Tele-Collaboration
Authors: Sabah M. A. Mohammed, Jinan A. W. Fiaidhi
Venue: Informatica (2005)

Tele-Collaboration will enable users in different locations to collaborate in a shared, simulated environment as if they were in the same physical room. It's the ultimate synthesis of networking and media technologies to enhance collaborative environments. When participants are Tele-Collaborated, they are able to interact with each other in a shared virtual environment. They are able to query and visualize data stores and steer complex scientific and engineering simulations. This article investigated the transcoding intermediaries required to achieve an effective tele-collaboration on the Web as well as on P2P/Grid environments. Both Scene Graphs as used by the virtual SceneBeans and the SVG DOM tree are found to be essential for the transcoding purpose.
Exploiting Past Experience --- Case-Based Decision Support for Soccer Agents
Authors: Ralf Berger, Gregor Lämmel
Venue: Proceedings of the 30th annual German conference on Advances in Artificial Intelligence (2007)

Selecting and initiating an appropriate (possibly cooperative) behavior in a given context is one of the most important and difficult tasks for soccer playing robots or software agents. Of course, this applies to other complex robot environments as well.In this paper we present a methodology for using Case Based Reasoning techniques for this challenging problem. We will show a complete workflow from case-acquisition up to case-base maintenance. Our system uses several techniques for optimizing the case base and the retrieval step in order to be efficient enough to use it in a realtime environment.The framework we propose could successfully be tested within the robot soccer domain where it was able to select and initiate complex game plays by using experience from previous situations. Due to space constraints we can give just a very brief overview about the most important aspects of our system here.
A Task Centered Framework for Computer Security Data Visualization
Authors: Xiaoyuan Suo, Ying Zhu, Scott Owen
Venue: Proceedings of the 5th international workshop on Visualization for Computer Security (2008)

Most of the existing computer security visualization programs are data centered. However, some studies have shown that task centered visualization is perhaps more effective. To test this hypothesis, we have developed a new framework of visualization and apply it to computer security visualization. This framework provides a new way for users to interact with data set and potentially will provide new insights into how visualization can be better constructed to serve users' specific tasks.
Towards an Early Usability Evaluation for Web Applications
Authors: Jose Ignacio Panach, Nelly Condori-Fernández, Francisco Valverde, Nathalie Aquino, Oscar Pastor
Venue: Software Process and Product Measurement: International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers (2007)

In the Human-Computer Interaction (HCI) community, the usual way to measure usability is through a user test. The disadvantage of this way is that the system must be implemented before performing the test. As a consequence, developers must solve the usability issues in the last stages of the development process. Currently, the model-driven software development is gaining popularity as a solution to reduce changes impact. In this paper, a usability model is proposed to evaluate early usability from the conceptual schemas that represents a Web Application. This approach allows to incorporate usability improvements before the implementation of the final web application. We evaluate the usability of artefacts modelled with OOWS, a model-driven web engineering method. In addition, two case studies are used to verify the instruments proposed to evaluate our early usability model.
Undercomplete Blind Subspace Deconvolution Via Linear Prediction
Authors: Zoltán Szabó, Barnabás Póczos, András Lőrincz
Venue: Proceedings of the 18th European conference on Machine Learning (2007)

We present a novel solution technique for the blind subspace deconvolution (BSSD) problem, where temporal convolution of multidimensional hidden independent components is observed and the task is to uncover the hidden components using the observation only. We carry out this task for the undercomplete case (uBSSD): we reduce the original uBSSD task via linear prediction to independent subspace analysis (ISA), which we can solve. As it has been shown recently, applying temporal concatenation can also reduce uBSSD to ISA, but the associated ISA problem can easily become `high dimensional' [1]. The new reduction method circumvents this dimensionality problem. We perform detailed studies on the efficiency of the proposed technique by means of numerical simulations. We have found several advantages: our method can achieve high quality estimations for smaller number of samples and it can cope with deeper temporal convolutions.
Does Test-Driven Development Improve the Program Code? Alarming Results from a Comparative Case Study
Authors: Maria Siniaalto, Pekka Abrahamsson
Venue: Balancing Agility and Formalism in Software Engineering: Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers (2008)

It is suggested that test-driven development (TDD) is one of the most fundamental practices in agile software development, which produces loosely coupled and highly cohesive code. However, how the TDD impacts on the structure of the program code have not been widely studied. This paper presents the results from a comparative case study of five small scale software development projects where the effect of TDD on program design was studied using both traditional and package level metrics. The empirical results reveal that an unwanted side effect can be that some parts of the code may deteriorate. In addition, the differences in the program code, between TDD and the iterative test-last development, were not as clear as expected. This raises the question as to whether the possible benefits of TDD are greater than the possible downsides. Moreover, it additionally questions whether the same benefits could be achieved just by emphasizing unit-level testing activities.
Primitive flag-transitive generalized hexagons and octagons
Authors: Csaba Schneider, Hendrik Van Maldeghem
Venue: Journal of Combinatorial Theory Series A (2008)

Suppose that an automorphism group G acts flag-transitively on a finite generalized hexagon or octagon S, and suppose that the action on both the point and line set is primitive. We show that G is an almost simple group of Lie type, that is, the socle of G is a simple Chevalley group.