ppxscal/embedding_network huggingface dataset:
DISC at Its 20th Anniversary (Stockholm, 2006)
Authors: Michel Raynal, Sam Toueg, Shmuel Zaks
Venue: Proceedings of the 21st international symposium on Distributed Computing (2007)

DISC 2006 marked the 20th anniversary of the DISC conferences. We list below the special events that took place during DISC 2006, together with some information and perspectives on the past and future of DISC.
Hierarchical-Matrix Preconditioners for Parabolic Optimal Control Problems
Authors: Suely Oliveira, Fang Yang
Venue: Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007 (2007)

Hierarchical ($\mathcal{H}$)-matrices approximate full or sparse matrices using a hierarchical data sparse format. The corresponding $\mathcal{H}$-matrix arithmetic reduces the time complexity of the approximate $\mathcal{H}$-matrix operators to almost optimal while maintains certain accuracy. In this paper, we represent a scheme to solve the saddle point system arising from the control of parabolic partial differential equations by using $\mathcal{H}$-matrix LU-factors as preconditioners in iterative methods. The experiment shows that the $\mathcal{H}$-matrix preconditioners are effective and speed up the convergence of iterative methods.
Case deletion diagnostics in multilevel models
Authors: Lei Shi, Gemai Chen
Venue: Journal of Multivariate Analysis (2008)

This paper studies case deletion diagnostics for multilevel models. Using subset deletion, diagnostic measures for identifying influential units at any level are developed for both fixed and random parameters. Two approximate update formulae are derived. The first formula uses one-step approximation, while the second formula also includes the impact of estimating the random parameter. Two examples are used to illustrate the methodology developed.
Types and Programs from Euler Diagrams
Authors: James Burton
Venue: Proceedings of the 5th international conference on Diagrammatic Representation and Inference (2008)

Type theory provides a formal basis for programming languages and can also be used to model reasoning systems such as Euler diagrams. We present part of a simple type theory of Euler diagrams. Expressing a system of reasoning with Euler diagrams as a collection of types and operations on types (which correspond to diagrams and reasoning rules) is a first step towards embedding visually modelled constraints directly into the type system of a programming language. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
MD4 is Not One-Way
Authors: Gaëtan Leurent
Venue: Fast Software Encryption: 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers (2008)

MD4 is a hash function introduced by Rivest in 1990. It is still used in some contexts, and the most commonly used hash functions (MD5, Sha1, Sha2) are based on the design principles of MD4. MD4 has been extensively studied and very efficient collision attacks are known, but it is still believed to be a one-way function.In this paper we show a partial pseudo-preimage attack on the compression function of MD4, using some ideas from previous cryptanalysis of MD4. We can choose 64 bits of the output for the cost of 232 compression function computations (the remaining bits are randomly chosen by the preimage algorithm).This gives a preimage attack on the compression function of MD4 with complexity 296, and we extend it to an attack on the full MD4 with complexity 2102. As far as we know this is the first preimage attack on a member of the MD4 family.
A Safe Haven for Misbehaving?
Authors: Neil Selwyn
Venue: Social Science Computer Review (2008)

Although considerable academic interest has focused on serious cyber-crimes, more commonplace Internet misuses (e.g., misrepresentation of self, unauthorized downloading, Internet pornography, online plagiarism, and other "cyber-cheating") have received less attention. Although these transgressions are of minor legal importance, they merit closer academic scrutiny. Based on a self-report study of 1,222 U.K. undergraduate students, this article explores the prevalence, nature, and underpinning facilitators of five examples of Internet-based misbehavior. Although more than 90% of respondents self-reported online misbehavior during the past 12 months, significant differences are evident in gender, Internet expertise, and, to a lesser extent, age. Although respondents portrayed the Internet as a more conducive environment for misbehavior, the survey data report a strong correlation between respondents' propensity to misbehave in online and offline contexts. These data highlight the need to contextualize cyber-deviance in relation to the offline "life world" of the Internet user and the Internet's wider role in everyday life.
A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration
Authors: Ruliang Xiao, Shengqun Tang
Venue: Proceedings of the 7th international conference on Computational Science, Part II (2007)

With context unceasingly changing, available information among ontologies of different information sources is often heterogeneous. It is crucial to develop scalable and efficient ontological formalism. This paper presents a categorial context-based formalism with default reasoning, in which context information is extensively considered, and from the category theory point of view, we syncretize default reasoning and make a categorial context extension to description logics (DL) for heterogeneous ontology integration. The core part of the formalism is a categorial context based on the DL, which captures and explicitly represents the information about contexts, and constructs nonmonotonic default reasoning. Based on the formal framework, a prototype is developed based on JESS, RACER and Protégé OWL plugin, which can integrate different ontologies from multiple distributed sources with context information using default reasoning.
Two-Arm Haptic Force-Feedbacked Aid for the Shoulder and Elbow Telerehabilitation
Authors: Patrick Salamin, Daniel Thalmann, Frédéric Vexo, Stéphanie Giroud
Venue: Proceedings of the 3rd international conference on Technologies for E-Learning and Digital Entertainment (2008)

In this paper we present a telerehabilitation system aiming to help physiotherapists on the shoulder and elbow treatment. Our system is based on a two-arm haptic force feedback to avoid excessive efforts and discomfort with the spinal column and is remotely controlled by smart phone. The validation of our system, with the help of muscular effort measurements (EMG) and supervised by a physiotherapist, provides very promising results.
Virtual community of interest at capella university
Authors: Ken A. Baker, Alan Chmura, Tsun Chow
Venue: Proceedings of the 9th ACM SIGITE conference on Information technology education (2008)

Among the challenges faced by the administrators of post-baccalaureate degree programs are those of satisfying student needs and wants in ways which cannot be accommodated in the classroom. While every conceivable need and want cannot be addressed by any degree program or school, a subset of needs and wants which contributes to achieving and maintaining a suitable completion rate and improving student perception of the quality of the education experience can be identified. This paper describes the rationale for and development of a community of interest" (COI) that empowers students, professors, staff members, and other individuals to share, discuss, and reflect on material which may be vital to individuals and their degree programs outside of the formal classroom. Because the COI is to serve an accredited online university, it must be online. Factors that may improve completion rates and student perception of the quality of the education experience are being taken into account in designing the COI.
Solving a Stochastic Queueing Control Problem with Constraint Programming
Authors: Daria Terekhov, J. Christopher Beck
Venue: Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (2007)

In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic customer arrival and service times, we seek a policy for switching workers such that the expected customer waiting time is minimized while the expected back room staffing is sufficient to perform all work. Three novel constraint programming models and a shaving algorithm are presented. Experimental results show that the best constraint programming model, using shaving, is able to find and prove optimal solutions for almost all problem instances within a reasonable run-time, but that an existing heuristic algorithm performs better in terms of solution quality over time. A hybrid method combining the heuristic and the best constraint programming method is shown to perform better than either of these approaches separately. This is the first work of which we are aware that solves a queueing control problem with constraint programming.
Multiclass Adaboost and Coupled Classifiers for Object Detection
Authors: Rodrigo Verschae, Javier Ruiz-Del-Solar
Venue: Proceedings of the 13th Iberoamerican congress on Pattern Recognition: Progress in Pattern Recognition, Image Analysis and Applications (2008)

Building robust and fast multiclass object detection systems is a important goal of computer vision. In the present paper we extend the well-known work of Viola and Jones on boosted cascade classifiers to the multiclass case with the goal of building multiclass and multiview object detectors. We propose to use nested cascades of multiclass boosted classifiers and we introduce the concept of coupled components in multiclass classifiers. We evaluate the system by building several multiview face detectors, each one built to detect a different number of classes. Thus, we present results showing how well the system scales. Promising results are obtained in the BioID database, showing the potentiality of the proposed methods for building object detectors.
Support Vector Machine Detection of Peer-to-Peer Traffic in High-Performance Routers with Packet Sampling
Authors: Francisco J. González-Castaño, Pedro S. Rodríguez-Hernández, Rafael P. Martínez-Álvarez, Andrés Gómez-Tato
Venue: Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part II (2007)

In this paper, we explore the possibilities of support vector machines to identify peer-to-peer (p2p) traffic in high-performance routers with packet sampling. Commercial networks limit user access bandwidth -either physically or logically-. However, in research networks there are no individual bandwidth restrictions, since this would interfere with research tasks. User behavior in research networks has changed radically with the advent of p2p multimedia file transfers: many users take advantage of the huge bandwidth (e.g. compared to domestic DSL access) to exchange movies and the like. This behavior may have a deep impact on research network utilization. Consequently, in the framework of the MOLDEIP project, we have proposed to apply support vector machine detection to identify those activities in high-performance research network routers. Due to their high port rates, those routers cannot extract the headers of all the packets that traverse them, but only a sample. The results in this paper suggest that support vector machine detection of p2p traffic in high-performance routers with packet sampling is highly successful and outperforms recent approaches like [1].
Physically-based digital restoration using volumetric scanning
Authors: W. Brent Seales
Venue:  (2007)

Digitization has become critical to preservation, dissemination and even restoration of damaged artifacts of cultural history. There are a number of priceless documents of cultural heritage that are preserved in museums and libraries with content that is still difficult for modern scholars to see. Their opaque surfaces in rolled or folded forms, such as scrolls and bound manuscripts, prevent their content from being accessed. Physical unwrapping is usually not considered as a solution due to its destructive nature, especially for the aged and damaged materials that are in fragile condition.This thesis develops a general approach for building a readable image of an opaque, rolled or folded document from a non-destructive volumetric scan. We use a custom high-resolution Computed Tomography (CT) scan to solve the problem of opaque document acquisition, based on an extensive analysis of the important issues specifically related to this application.The post-processing problem is framed by localizing, constructing and manipulating a texture image induced by a surface embedded in a 3D voxel space. Algorithms are developed to localize the surface present in a scan, construct a texture map that reproduces the ink on the surface, and parameterize the convoluted surface over a 2D domain that enables a complete reading. The &ldquo;virtual unwrapping&rdquo;, based on simulation of mass-spring system dynamics that is found on classical mechanics, preserves geometric features, such as angles and lengths, thus minimizes the distortion of text.For preliminary testing and empirical analysis of the restoration method, we conduct a series of simulation experiments based on a CT scanner simulator. Satisfactory experimental results on replica scrolls and a real 15th manuscript from the University of Michigan's Library promise feasibility of this method. The content of the ancient manuscript revealed by our method is confirmed by posterior physical manipulation, which permanently altered the object. This research presents novel contributions that are expected to benefit the scholarship that studies human history and culture. The vision is to apply the proposed method ultimately to precious documents and allow complete analysis of them while enforcing continued physical preservation.Keywords. Computer Graphics, Computer Vision, Historic Preservation, Digital Restoration, Opaque Documents
University of Wolverhampton at CLEF 2007
Authors: Georgiana Puşcaşu, Constantin Orăsan
Venue: Advances in Multilingual and Multimodal Information Retrieval: 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers (2008)

This paper reports on the participation of the University of Wolverhampton in the Multiple Language Question Answering (QA@CLEF) track of the CLEF 2007 campaign. We approached the Romanian to English cross-lingual task with a Question Answering (QA) system that processes a question in the source language (i.e. Romanian), translates the identified keywords into the target language (i.e. English), and finally searches for answers in the English document collection. We submitted one run of our system that has achieved an overall accuracy of 14%, and a precision over non-NIL answers of 33.73%. Error analysis revealed that this low performance is mainly due to the lack of a reliable translation methodology from the source in the target language.
A Collaborative Case Study System for Distance Learning
Authors: Marta C. Rosatelli, John A. Self
Venue: International Journal of Artificial Intelligence in Education (2004)

Distance Learning from Case Studies involves enabling collaboration between two or more learners at a distance on a case study activity. In this paper we present an empirical qualitative study that simulates a learning scenario in which a pair of subjects at a distance are provided with a collaborative learning environment and required to collaborate in order to solve a case study. The results of this empirical qualitative study have implications that informed the design of a system: LeCS (Learning from Case Studies). LeCS is a web-based collaborative case study system that can be applied to any domain in which the learning from case studies method is used. It provides a set of tools for geographically dispersed students working collaboratively on the case study solution. In addition, it accomplishes functions regarding the learning process that together give real-time support to the distant learners during the development of the case study solution. The paper gives a general description of LeCS: its user interface, implementation, and agent-based architecture. Moreover, it describes how LeCS addresses the recommendations derived from the empirical study.
Direct searching of multimedia content based on video characteristics extracted from compressed domain
Authors: Serafeim Papastefanos, Fotis Andritsopoulos, Vasiliki Mpilili, Chris Theocharatos, Nikos Achilleopoulos
Venue: Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts (2008)

This is a brief description of demo "Direct Searching of Multimedia Content Based on Video Characteristics Extracted from Compressed Domain".
Robust Question Answering for Speech Transcripts Using Minimal Syntactic Analysis
Authors: Pere R. Comas, Jordi Turmo, Mihai Surdeanu
Venue: Advances in Multilingual and Multimodal Information Retrieval: 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers (2008)

This paper describes the participation of the Technical University of Catalonia in the CLEF 2007 Question Answering on Speech Transcripts track. For the processing of manual transcripts we have deployed a robust factual Question Answering that uses minimal syntactic information. For the handling of automatic transcripts we combine the QA system with a novel Passage Retrieval and Answer Extraction engine, which is based on a sequence alignment algorithm that searches for "sounds like" sequences in the document collection. We have also enriched the NERC with phonetic features to facilitate the recognition of named entities even when they are incorrectly transcribed.
Person Retrieval on XML Documents by Coreference Analysis Utilizing Structural Features
Authors: Yumi Yonei, Mizuho Iwaihara, Masatoshi Yoshikawa
Venue: Proceedings of the 19th international conference on Database and Expert Systems Applications (2008)

Keyword retrieval of the present day exploits frequencies and positions of search keywords in target documents. As for retrieval by two or more keywords, semantic relation between keywords is important. For retrieving information about a person, it is common to search by a pair of keywords consisting of person's name and his/her attribute of the interest. By using dependency analysis and coreference analysis, correct occurrences of pairs of person and his/her attributes can be retrieved. However, existing natural language analysis does not consider the factor that logical structures of the documents strongly influence probabilistic patterns of coreference. In this paper, we propose a new way of person retrieval by computing a maximum entropy model from linguistic features and structural features, where structural features are learned from probabilistic distribution of coreference over XML document structures. Our method can utilize strong correlation between XML document structures and coreference, thus having superior accuracy than existing methods.
Research on Printer Color Management Based on Ant Colony Algorithm
Authors: Xinwu Li
Venue: Proceedings of the 2008 Second International Conference on Genetic and Evolutionary Computing (2008)

Color management for the printer is one of the key techniques in the color image reproduction. A New color management model is presented based on analyzing the printer color rendering principle. First, the paper takes standard color target for experimental sample, and substitutes color blocks in color shade district for complete color space to decrease calculation and improve process speed. Second, data collecting method is introduced and some data bases for deducing the model are created. Then, ant colony algorithm is corrected to speed up model's convergence and a new model for printer color management based on improved ant colony algorithm is deduced and analyzed. Finally the experimental results show that the model can improve printer color management accuracy and can be used in its color management practically.
Multiple-model adaptive control of hydro turbine generator with fuzzy TS models
Authors: Alexander Ichtev, Teofana Puleva
Venue: Proceedings of the 9th WSEAS International Conference on Fuzzy Systems (2008)

In this paper, adaptive control for hydro turbine generator is addressed. Fuzzy Takagi-Sugeno models are trained to model the turbine dynamic under various load conditions. Algorithm for estimation of the load condition is presented. On the base of the probabilities for each model from the model set "soft" adaptation is performed. The control is computed as a weighted sum from individual controllers, designed for local load conditions. An experiment is carried out that illustrates the functionality of the proposed method.
SAP Standard Application Benchmarks - IT Benchmarks with a Business Focus
Authors: Ulrich Marquard, Clarissa Götz
Venue: Proceedings of the SPEC international workshop on Performance Evaluation: Metrics, Models and Benchmarks (2008)

SAP is the world's leading provider of business software. It delivers a comprehensive range of software products and services to its customers: Companies from all types of industries, ranging from small businesses to large, multinational enterprises engaged in global markets. The hardware and software requirements of these businesses are as diverse as the companies themselves, but for most customers they boil down to two key performance indicators: Throughput, of importance mainly for background processing, for example overnight payroll calculations, and response time, of relevance to end users actively engaged on the system. For over 15 years SAP and its hardware and technology partners have developed and used benchmarks to test the performance and scalability of both SAP solutions and the hardware they run on. The SAP Standard Application Benchmarks, first certified as such in 1995, help SAP and its partners prove that their software and hardware components scale up (and down) with their customers' business needs, and support customers in configuring SAP Business Solutions for their productive systems.
Diffusion of Domestic Water Conservation Technologies in an ABM-GIS Integrated Model
Authors: José M. Galán, Ricardo Olmo, Adolfo López-Paredes
Venue: Proceedings of the 3rd international workshop on Hybrid Artificial Intelligence Systems (2008)

The aim of this work is to analyze the effect of adoption of domestic water conservation technologies under different assumptions and scenarios in emergent metropolitan areas. For that purpose, we present an agent based model linked to a geographic information system to explore the domestic water demand in the Valladolid metropolitan area (Spain). Specifically, we adapt and integrate diverse social submodels ---models of urban dynamics, water consumption, and technological and opinion diffusion--- with a statistical model that characterizes the agents' water consumption behaviour. The results show the temporal impact on water consumption and technological adoption of several parameters, and the importance of the joint effect of both diffusion mechanisms.