Search

In this paper we propose a novel personalized paper search system using the relevance among user's queried keywords and user's behaviors on a searched paper list. The proposed system builds user's individual relevance network from analyzing the appearance frequencies of keywords in the searched papers. The relevance network is personalized by providing weights to the appearance frequencies of keywords according to users' behaviors on the searched list, such as "downloading," "opening," and "no-action." In the experimental section, we demonstrate our method using 100 faculties' search information in the University of Suwon. [ABSTRACT FROM AUTHOR]

When performing quality inspection of recycled paper one phenomenon of concern is the appearance of macroscopic undulations on the paper sheet surface that may emerge shortly or some time after its production. In this paper we explore the detection and measurement of this defect by means of computer vision and statistical pattern recognition techniques that may allow early detection at the production site. We propose features computed from Gabor Filter Banks (GFB) and Discrete Wavelet Transforms (DWT) for the characterization of paper sheet surface bumpiness in recycled paper images. The lack of a precise definition of the defect and the great variability of the sheet deformation shapes and scales, both within each image and between images, introduce additional difficulties to the problem. We obtain, with both proposed modeling approaches (GFB and DWT), classification accuracies are comparable to the agreement between human observers. The best performance is obtained using DWT features. [ABSTRACT FROM AUTHOR]

This is a summary of the papers presented at the Active Conceptual Modeling of Learning (ACM-L) Workshop, November 8, 2006, Tucson, Arizona, USA, and several invited papers. [ABSTRACT FROM AUTHOR]

In this paper we review two well-known citation methods to find relatedness between scientific papers: co-citation and bibliographic coupling. We propose a practical method to estimate the co-citation relatedness using the Google search engine. We call this method Web co-citation. We conducted experiments on a collection of scientific papers to compare the performances of different methods. The experimental results show that our approach, despite its simplicity, is efficient in discovering the relatedness between scientific papers. [ABSTRACT FROM AUTHOR]

This paper is concerned with a multi-resolution tool for screening paper formation variations in various frequency regions on production line. A paper web is illuminated by two red diode lasers and the reflected light recorded as two time series of high resolution measurements constitute the input signal to the papermaking process monitoring system. The time series are divided into blocks and each block is analyzed separately. The task is treated as kernel based novelty detection applied to a multi-resolution time series representation obtained from the band-pass filtering of the Fourier power spectrum of the series. The frequency content of each frequency region is characterized by a feature vector, which is transformed using the canonical correlation analysis and then categorized into the inlier or outlier class by the novelty detector. The ratio of outlying data points, significantly exceeding the predetermined value, indicates abnormalities in the paper formation. The tools developed are used for online paper formation monitoring in a paper mill. [ABSTRACT FROM AUTHOR]

This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of providing automatic support for authors who need to deal with large volumes of research documents. To this end, we have developed Biblio, a user-friendly tool based on Cerno. The tool directs the user's attention to the most important elements of the papers and provides assistance by generating automatically a list of references and an annotated bibliography given a collection of published research articles. The tool performance has been evaluated on a set of papers and preliminary evaluation results are promising. The backend of Biblio uses a standard relational database to store the results. [ABSTRACT FROM AUTHOR]

This paper addresses a Korean-English machine translation system for scientific papers. The MT system is supported by CL (Controlled Language)-guided source language rewriting. After analyzing the translation errors of the system, we defined Korean rewriting rules to avoid the linguistic obstacles that may affect the translation accuracy. To support this, a Korean CL-checker was implemented. We showed that this CL-guided MT system can improve the translation accuracy by about 13% by adopting CL rewriting rules. However, this improvement is still not enough for various purposes, because most of the users of the MT system may want to submit the translated texts to a conference or an academic journal. As the MT output contains erroneous expressions, a language model module was added to the pattern-based MT engine. The system automatically detects expressions with low frequency and asks the authors to examine the translation. By adopting CL rewriting rules and language model module to the existing MT engine, almost "professional" translations can be obtained. [ABSTRACT FROM AUTHOR]

In this tutorial paper we summarise the key features of the multi-threaded Qu-Prolog language for implementing multi-threaded communicating agent applications. Internal threads of an agent communicate using the shared dynamic database used as a generalisation of Linda tuple store. Threads in different agents, perhaps on different hosts, communicate using either a thread-to-thread store and forward communication system, or by a publish and subscribe mechanism in which messages are routed to their destinations based on content test subscriptions. We illustrate the features using an auction house application. This is fully distributed with multiple auctioneers and bidders which participate in simultaneous auctions. The application makes essential use of the three forms of inter-thread communication of Qu-Prolog. The agent bidding behaviour is specified graphically as a finite state automaton and its implementation is essentially the execution of its state transition function. The paper assumes familiarity with Prolog and the basic concepts of multi-agent systems. [ABSTRACT FROM AUTHOR]

This paper is a tutorial describing the main features of the KGP (Knowledge-Goals-Plan) model of agency and giving user guidance on how the model can be used to develop applications. The KGP model is based on computational logic. It consists of an abstract component, a computational component and an implementation. This paper concentrates on the abstract component, which consists of formal specifications of a number of different modules, including the knowledge bases, capabilities, transitions and control. For each of these we summarise what is provided by the model, and through the platform implementing the model, and what is left to the users to specify according to the requirements of the applications for which they wish to use the KGP model to design agents. [ABSTRACT FROM AUTHOR]

Researchers from the same lab often spend a considerable amount of time searching for published articles relevant to their current project. Despite having similar interests, they conduct independent, time consuming searches. While they may share the results afterwards, they are unable to leverage previous search results during the search process. We propose a research paper recommender system that avoids such time consuming searches by augmenting existing search engines with recommendations based on previous searches performed by others in the lab. Most existing recommender systems were developed for commercial domains with millions of users. The research paper domain has relatively few users compared to the large number of online research papers. The two major challenges with this type of data are the large number of dimensions and the sparseness of the data. The novel contribution of the paper is a scalable subspace clustering algorithm (SCuBASCuBA: Subspace Clustering Based Analysis.) that tackles these problems. Both synthetic and benchmark datasets are used to evaluate the clustering algorithm and to demonstrate that it performs better than the traditional collaborative filtering approaches when recommending research papers. [ABSTRACT FROM AUTHOR]

Office workers tend to produce paper piles of documents to read or to process sometime later. The information contained in these piles is often lost if it is not transferred to electronic format and connected to knowledge structures. Information that is not part of the knowledge worker's electronic information space is frequently overlooked because it is not proactively provided during actual processes or tasks he is involved in. This paper presents a novel prototype for an intelligent office appliance, which results from an integration of three state-of-the-art office applications/appliances: a workflow system, a document classification system, and a multi-functional peripheral. The resulting system allows for leveraging an office worker's papers to her personal knowledge space in order to realize a pro-active and context-sensitive information support within knowledge-intensive tasks and processes. [ABSTRACT FROM AUTHOR]

To facilitate the transition from paper-based patient record (PPR) to computer-based patient record (CPR), engineers should try to improve the usability of CPR system. From the point of view of a physician, we reviewed PPRs written by 8 Japanese physicians. We revealed the characteristics of PPR to find out about the barrier to transition from PPR to CPR. Our findings may be helpful to the engineers who are aiming to develop a CPR system. [ABSTRACT FROM AUTHOR]

In this paper we describe the design of a hybrid search that combines simple metadata search with a traditional keyword search over unstructured context data. This paradigm provides the inquirer additional options to narrow the search with some semantic aspects through the XML metadata query. We demonstrate a paper search for a case study of the hybrid search, and describe a data integration hub to integrate those data dispersed on the Net. [ABSTRACT FROM AUTHOR]

The Lost Cosmonaut is an interactive narrative based on digitally enhanced paper. This technology uses an electronic pen to mediate between paper and computer. Thus any actions of the pen on the paper can be captured and manipulated by a computer as well as we can map digitally controlled events onto paper. The story in this narrative environment reveals itself partially through written text and images on the paper surface just as any other printed story. However, additional information in form of digitally controlled outputs such as sound, light and projections can be accessed through interaction with pen and paper. Furthermore the audience is not only supposed to read and otherwise perceive information, we also want them to actively produce content for this environment by writing onto the paper. By doing so they also add content to the database containing the digital output at the same time. Hence we produce a complex multimedia environment that works on three levels: On paper, in a digitally controlled visual and acoustic environment and in the combination of both worlds. Last but not least this environment is an open system, which grows as a collaborative effort over time as each user adds his own entries to paper and database. We argue that using paper as an integrated part of a digital environment is a best-of-both-world approach that opens up new possibilities for producing and perceiving narrative. [ABSTRACT FROM AUTHOR]

Amongst several fundamental aspects in multi-agent systems design, the definition of the agent interaction space is of the utmost importance. The specification of the agent interaction has several facets: syntax, semantics, and compliance verification. In an open society, heterogenous agents can participate without showing any credentials. Accessing their internals or their knowledge bases is typically impossible, thus it is impossible to prove a priori that agents will indeed behave according to the society rules. Within the SOCS (Societies Of ComputeeS) project, a language based on abductive semantics has been proposed as a mean to define interactions in open societies. The proposed language allows the designer to define open, extensible and not over-constrained protocols. Beside the definition language, a software tool has been developed with the purpose of verifying at execution time if the agents behave correctly with respect to the defined protocols. This paper provides a tutorial overview of the theory and of the tools the SOCS project provided to design, define and test agent interaction protocols. [ABSTRACT FROM AUTHOR]

This paper is based on the tutorial given as part of the tutorial programme of CLIMA-VI. The tutorial aimed at giving an overview of the various features available in Jason, a multi-agent systems development platform that is based on an interpreter for an extended version of AgentSpeak. The BDI architecture is the best known and most studied architecture for cognitive agents, and AgentSpeak is an elegant, logic-based programming language inspired by the BDI architecture. [ABSTRACT FROM AUTHOR]

This paper is concerned with a multi-resolution tool for analysis of a time series aiming to detect abnormalities in various frequency regions. The task is treated as a kernel based novelty detection applied to a multi-level time series representation obtained from the discrete wavelet transform. Having a priori knowledge that the abnormalities manifest themselves in several frequency regions, a committee of detectors utilizing data dependent aggregation weights is build by combining outputs of detectors operating in those regions. [ABSTRACT FROM AUTHOR]

Privacy-preserving classification mining is one of the fast-growing sub-areas of data mining. How to perturb original data and then build a decision tree based on perturbed data is the key research challenge. By applying transition probability matrix this paper proposes a novel privacy-preserving classification mining algorithm which suits all data types, arbitrary probability distribution of original data, and perturbing all attributes (including label attribute). Experimental results demonstrate that decision tree built using this algorithm on perturbed data has comparable classifying accuracy to decision tree built using un-privacy-preserving algorithm on original data. [ABSTRACT FROM AUTHOR]

This paper presents the experimental aspects of a robotic system used for detection, sorting and grading of paper objects from visual features. The experimental system is used as an automated paper recycling system. The system uses simplified stereo vision to compute position estimate of unknown objects. A vector of geometrical and textural features is used for sorting the paper, according to its grade. The grading process uses additional contact sensors for refining grading from visual features. Supervised learning is used for training the decision system to separate paper from other objects. The experimental aspects of the training process are presented in detail. A special vacuum gripper was designed for gripping paper objects detected by the vision system. The experimental results prove the efficiency of the proposed techniques. [ABSTRACT FROM AUTHOR]

We study the problem of predicting the popularity of items in a dynamic environment in which authors post continuously new items and provide feedback on existing items. This problem can be applied to predict popularity of blog posts, rank photographs in a photo-sharing system, or predict the citations of a scientific article using author information and monitoring the items of interest for a short period of time after their creation. As a case study, we show how to estimate the number of citations for an academic paper using information about past articles written by the same author(s) of the paper. If we use only the citation information over a short period of time, we obtain a predicted value that has a correlation of r = 0.57 with the actual value. This is our baseline prediction. Our best-performing system can improve that prediction by adding features extracted from the past publishing history of its authors, increasing the correlation between the actual and the predicted values to r = 0.81. [ABSTRACT FROM AUTHOR]

We present a framework for generating paper-cutting effects on mesh models. Our system involves the construction of model defined paper-cutting patterns, extraction of the medial axis (MA) from the mesh models and position location for patterns on the mesh surface based on MA. Patch sets for placing patterns on the mesh surface are determined by the region growing algorithm. After patch sets parameterization, patterns are drawn on the parameterized domain and mapped onto the mesh surface by inverse sampling. [ABSTRACT FROM AUTHOR]

This paper describes an approach to the use of citation links to improve the scientific paper classification performance. In this approach, we develop two refinement functions, a linear label refinement (LLR) and a probabilistic label refinement (PLR), to model the citation link structures of the scientific papers for refining the class labels of the documents obtained by the content-based Naive Bayes classification method. The approach with the two new refinement models is examined and compared with the content-based Naive Bayes method on a standard paper classification data set with increasing training set sizes. The results suggest that both refinement models can significantly improve the system performance over the content-based method for all the training set sizes and that PLR is better than LLR when the training examples are sufficient. [ABSTRACT FROM AUTHOR]

SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT), so that the authors do not have to build a cognitive model by hand, but instead simply demonstrate solutions for SimStudent to automatically generate a cognitive model. The SimStudent technology could then be used to model human students' performance as well. To evaluate the applicability of SimStudent as a tool for modeling real students, we applied SimStudent to a genuine learning log gathered from classroom experiments with the Algebra I Cognitive Tutor. Such data can be seen as the human students' "demonstrations" of how to solve problems. The results from an empirical study show that SimStudent can indeed model human students' performance. After training on 20 problems solved by a group of human students, a cognitive model generated by SimStudent explained 82% of the problem-solving steps performed correctly by another group of human students. [ABSTRACT FROM AUTHOR]

In this article I will present an overview of a selection of tools for execution and proof based on temporal logic, and outline both the general techniques used and problems encountered in implementing them. This selection is quite subjective, mainly concerning work that has involved researchers I have collaborated with at Liverpool (and, previously, Manchester). The tools considered will mainly be theorem-provers and (logic-based) agent programming languages. Specifically: - clausal temporal resolution [21, 28] and several of its implementations, namely , and , together with its application to verification [35]; - executable temporal logics [24, 4] and its implementation as both MetateM [3] and Concurrent MetateM [22, 49], together with its use as a programming language for both individual agents [23, 26, 29] and multi-agent systems [33, 30, 32]. In addition, I will briefly mention work on induction-based temporal proof [5], temporal logic programming [1], and model checking [7]. Rather than providing detailed algorithms, this presentation will concentrate on general principles, outlining current problems and future possibilities. The aim here is to give the reader an overview of the ways we handle temporal logics. In particular how we use such logics as the basis for both programming and verification. [ABSTRACT FROM AUTHOR]

This talk will consider rigorous mathematics and the nature of proof. It begins with an historical perspective and follows the development of formal mathematics. The talk will conclude with examples demonstrating that understanding the relationship between formal mathematics and rigorous proof can assist with both the discovery and the quality of real proofs of real results. Keywords: rigor, formal mathematics, nature of proof. [ABSTRACT FROM AUTHOR]

This paper presents way of generation color documents from elements extracted from an original document image. This scheme yields synthetic documents of similar visual information to the original one. This method has several advantages as it allows a far more efficient way of storing and transmitting the information. Its rationale is to decompose a color document into paper and ink texture parameters and textual information. The textual information may be either typed or handwritten and is stored as a compressed monochromatic image. [ABSTRACT FROM AUTHOR]

Active Learning in the classroom domain presents an interesting case for integrating physical and digital affordances. Traditional physical handouts and transparencies are giving way to new digital slides and PCs, but the fully digital systems still lag behind the physical artifacts in many aspects such as readability and tangibility. To better understand the interplay between physical and digital affordances in this domain, we developed PaperCP, a paper-based interface for a Tablet PC-based classroom interaction system (Classroom Presenter), and deployed it in an actual university course. This paper reports on an exploratory experiment studying the use of the system in a real-world scenario. The experiment confirms the feasibility of the paper interface in supporting student-instructor communication for Active Learning. We also discuss the challenges associated with creating a physical interface such as print layout, the use of pen gestures, and logistical issues. [ABSTRACT FROM AUTHOR]

In this paper we present our work about personalized search in digital libraries. Unlike other researches which use content-based methods, we focus on citation-based methods for this purpose. We propose a practical approach to estimate the co-citation relatedness between scientific papers using the Google search engine. We conducted some experiments to evaluate performance of different citation-based methods. The experimental results show that our approach is promising and applicable for personalized search in digital libraries. [ABSTRACT FROM AUTHOR]

This paper presents the advantage that knowledge-intensive activities, such as Scientific Conference Management, can take by the exploitation of expert components in the key tasks. Typically, in this domain the task of scheduling the activities and resources or the assignment of reviewers to papers is performed manually leading therefore to time-consuming procedures with high degree of inconsistency due to many parameters and constraints to be considered. The proposed systems, evaluated on real conference datasets, show good results compared to manual scheduling and assignment, in terms of both accuracy and reduction of runtime. [ABSTRACT FROM AUTHOR]

Finding the right material on the Web could be a worthwhile result. Users waste too much time to discover the useful information. Recommender system can provide some shortcuts to the user, but if the recommendation is based on people's opinion, one question remains — how relevant is a user's opinion? This paper presents a model to define the user's relevance opinion in a recommender system. This metric aims to help the target user to decide in what recommendation he should focus his attention. Beyond the model, we present a real experiment using an e-government database. Keywords: User modeling, Authority, Recommender System. [ABSTRACT FROM AUTHOR]

The techniques for organizing and retrieving the artifacts from digital libraries (DLs) semantically are discussed, which include letting the taxonomies and semantic relations work in tandem to index the artifacts in DLs; integrating the techniques used in natural language processing and taxonomies to help users to start their retrieval processes; and ranking scientific papers on similarity in terms of contents or ranking the relevant papers on multi-factors. These techniques are verified through the design and implementation of a prototype of DLs for scientific paper management. [ABSTRACT FROM AUTHOR]

In this chapter, we proudly introduce eight awarded papers, selected from the papers presented in the 20th annual conference of Japan Society for Artificial Intelligence (JSAI2006). The conference was held at Tower Hall Funabori located in the east part of Tokyo from June 7 until June 9, 2006. 276 papers were presented in about 60 sessions and over 500 people participated in the conference. Sessions vary from the fundamental issues to the state-of-the-art applications. Session for regular papers are as follows; Logic and learning, Reinforcement learning and agent learning, Agent theory, Auction/Game/Economics, Agent learning, Agent planning, Agent simulation and interaction, Genetic algorithm, Image processing, Information extraction and classification, Clustering/self-organization, Classifi- cation learning, Text mining, Graph mining, Mining algorithm, Web mining, Pre- and post-processing for data mining, Practices of data mining, Cognitive modeling, Language processing and dialogue, Robot/sensor network, Web information system, Semantic Web, Knowledge modeling and knowledge sharing, Support of knowledge management, knowledge modeling/ontology,Web service, Human interface and communication support, Education support, Learning support environment, and Musical and auditory information processing. [ABSTRACT FROM AUTHOR]

Typically, personalized information recommendation services automatically infer the user profile, a structured model of the user interests, from documents that were already deemed relevant by the user. We present an approach based on Word Sense Disambiguation (WSD) for the extraction of user profiles from documents. This approach relies on a knowledge-based WSD algorithm, called JIGSAW, for the semantic indexing of documents: JIGSAW exploits the WordNet lexical database to select, among all the possible meanings (senses) of a polysemous word, the correct one. Semantically indexed documents are used to train a naïve Bayes learner that infers "semantic", sense-based user profiles as binary text classifiers (user-likes and user-dislikes). Two empirical evaluations are described in the paper. In the first experimental session, JIGSAW has been evaluated according to the parameters of the Senseval-3 initiative, that provides a forum where the WSD systems are assessed against disambiguated datasets. The goal of the second empirical evaluation has been to measure the accuracy of the user profiles in selecting relevant documents to be recommended. Performance of classical keyword-based profiles has been compared to that of sense-based profiles in the task of recommending scientific papers. The results show that sense-based profiles outperform keyword-based ones. [ABSTRACT FROM AUTHOR]

Vertical Search Engines (VSEs), which usually work on specific domains, are designed to answer complex queries of professional users. VSEs usually have large repositories of structured instances. Traditional instance ranking methods do not consider the categories that instances belong to. However, users of different interests usually care only the ranking list in their own communities. In this paper we design a ranking algorithm -ZRank, to rank the classified instances according to their importances in specific categories. To test our idea, we develop a scientific paper search engine-CPaper. By employing instance classifying and ranking algorithms, we discover some helpful facts to users of different interests. [ABSTRACT FROM AUTHOR]

The tenth year of the annual International Conference on Research in Computational Biology (RECOMB) provides an opportunity to reflect on its history. RECOMB has been held across the world, including 6 different countries spanning 3 continents (Table 1). Over its 10 year history, RECOMB has published 373 papers and 170 individuals have served on its various committees. While there are many new faces in RECOMB each year, a significant number of researchers have participated over many years forming the core of the RECOMB community. [ABSTRACT FROM AUTHOR]

Collaborative tagging has grown on the Internet as a new paradigm for web information discovering, filtering and retrieval. In the physical world, we use visual tags: labels readable by smartphones with cameras. While visual tags are usually related to a web site address, collaborative tagging, instead, provides updated, recommended information contributed and shared by users. In this paper we investigate the combination of collaborative tagging systems with visual tags. We present a prototype of a semiautomatic system generating visual tags which gather information from collaborative tagging. The user can interact with a list of relevant tags (built by clustering closely related tags) that can be further encoded in a visual tag, according to user's preferences. The user experience is enriched by retrieving multimedia content linked to the selected tags, present on the web. We finally show a case study illustrating our approach. [ABSTRACT FROM AUTHOR]

The regulation of multiagent systems may be approached from different stand-points. In this paper I will take the perspective of using a certain type of devices, electronic institutions, to regulate agent interactions. Furthermore, in this paper I am concerned with the tasks of design and construction of actual electronic institutions and I will explore some of the empirical aspects that one may encounter in such activities. More specifically, I will focus on those empirical aspects that are characteristic of electronic institutions rather than those that may be typical of multi-agent systems development in general or other types of software engineering. I use three examples of actual electronic institutions that show different and complementary features in order to motivate a number of distinctions that may be used to treat empirical features in a systematic way. [ABSTRACT FROM AUTHOR]

Organic computing is an upcoming research area with strong relationships to the ideas and concepts of agent-based systems. In this paper, we therefore will have a closer look at agent systems, organic computing systems (as well as autonomic computing systems) and state commonalities and divergences between them. We then propose a common view on these technologies and show, how they can benefit from each other with regard to software engineering. [ABSTRACT FROM AUTHOR]

In this paper, we discuss importance and usefulness of interpersonal network in a community support system. We built a scheduling support system for an academic conference. Our system supports information exchange among participants and information discovery with generating participants' interpersonal network. This system was used in an academic conference called JSAI2003 involving 276 active users. The analysis of the networks reveals that interpersonal networks can promote information exchange among people by indicating existence of people to the others, and that it can also support information discovery by recommendation. [ABSTRACT FROM AUTHOR]

In this chapter, we introduce five awarded papers, selected from the 19th annual conference of JSAI (Japan Society for Artificial Intelligence) 2005. These five papers are truly excellent, for they were selected out of over 290 papers, the rate of which was less than 2%, voted by the total number of approximately seventy reviewers. As has been often mentioned, the research of artificial intelligence branches to many fields; among them, we could observe such tendency that empirical methods were rather prevalent compared with theoretical issues. However, we contend that the following five papers were both sound in theory and practical in feasibility. We show the synopses of the five papers, adding short comments for the award for each. [ABSTRACT FROM AUTHOR]

On behalf of the program committee (PC) of JSAI 2003, I would like to thank all the chair persons, discussants, and attentive audience who contributed to select these awarded papers. [ABSTRACT FROM AUTHOR]

In spite of the importance of natural drawing with input device, the interface between the device and virtual brush's status has been dealt less in literatures. Through this paper, we present a natural interface between pen-tablet device and virtual brush. Proposed system uses pressure instead of z-coordinate of pen to allow drawing with the similar feeling to the real brush. The contribution of this paper is as follows: first, a brush model interacting with pressure is generated. Second, 3D brush model is allowed to be folded back decreasing droplet size intensively according to pen direction changes. [ABSTRACT FROM AUTHOR]

The research community plays a very important role in helping researchers undertake new research topics. The authors propose a community mining system that helps to find communities of researchers by using bibliography data. The basic concept of this system is to provide interactive visualization of communities both local and global communities. We implemented this concept using actual bibliography data and present a case study using the proposed system. [ABSTRACT FROM AUTHOR]

Capturing and understanding mathematics from print form is an important task in translating written mathematical knowledge into electronic form. While the problem of syntactically recognising mathematical formulas from scanned images has received attention, very little work has been done on semantic validation and correction of recognised formulas. We present a first step towards such an integrated system by combining the Infty system with a semantic analyser for matrix expressions. We applied the combined system in experiments on the semantic analysis of matrix images scanned from textbooks. While the first results are encouraging, they also demonstrate many ambiguities one has to deal with when analysing matrix expressions in different contexts. We give a detailed overview of the problems we encountered that motivate further research into semantic validation of mathematical formula recognition. [ABSTRACT FROM AUTHOR]

Automatic evaluation of visual print quality is addressed in this study. Due to many complex factors of perceived visual quality its evaluation is divided to separate parts which can be individually evaluated using standardized assessments. Most of the assessments however require active evaluation by trained experts. In this paper one quality assessment, missing dot detection from printed dot patterns, is addressed by defining sufficient hardware for image acquisition and method for detecting and counting missing dots from a test strip. The experimental results are evidence how the human assessment can be automated with the help of machine vision, thus making the test more repeatable and accurate. [ABSTRACT FROM AUTHOR]

Ukiyo-e is one famous traditional woodblock type Japanese drawing. Some pattern printed by special print techniques can only be seen from some special direction. This phenomenon relate to the reflection properties on the surface of Ukiyo-e. In this paper, we propose a method to measure these reflection properties of Ukiyo-e. Fitstly, the normal on the surface and the direction of the fiber in Japanese paper are computed from photos which are taken by a measuring machine named OGM. Then, fit the reflection model to the measured data and the reflection properties of Ukiyo-e can be obtained. Based on these parameters, the the appearance of Ukiyo-e can be rendered on real-time. [ABSTRACT FROM AUTHOR]

Today the proliferation of the availability of the information of scientific events on the Web has created the necessity to offer a quickly access to up-to-date information about the quality of these events. This requirement demands for (semi) automatic tools to speedily provide this information. The human-performed activity of the information quality evaluation is extremely time consuming and easily leads to failures. The application OntoQualis here described was motivated to support the quality evaluation of Scientific Conferences, in the Computer Science area, based on the graduated programs evaluation protocol of the Brazilian agency CAPES. The evaluation mechanism is specified in the QUALIS document specifically designed to assess journals and conferences ranking. This paper presents a brief vision of the ongoing process of domain analysis and ontology prototyping aiming to classify Scientific Conferences: the OntoQualis project. Some results of OntoQualis preliminary evaluation have shown a satisfactory classification level in comparison with CAPES-QUALIS ranking. [ABSTRACT FROM AUTHOR]