Search

Today's mobile data applications aspire to deliver services to a user anywhere - anytime while fulfilling his Quality of Service (QoS) requirements. However, the success of the service delivery heavily relies on the QoS offered by the underlying networks. As the services operate in a heterogeneous networking environment, we argue that the generic information about the networks' offered-QoS may enable an anyhow mobile service delivery based on an intelligent (proactive) selection of ‘any' network available in the user's context (location and time). Towards this direction, we develop a QoS-predictions service provider, which includes functionality for the acquisition of generic offered-QoS information and which, via a multidimensional processing and history-based reasoning, will provide predictions of the expected offered-QoS in a reliable and timely manner. We acquire the generic QoS-information from distributed mobile services' components quantitatively (actively and passively) measuring the applicationlevel QoS, while the reasoning is based on statistical data mining and pattern recognition techniques. [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]

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]

Ranking publications of Online Digital Libraries (ODLs) is useful for (i) providing comparative assessment of publications and (ii) listing relevant ODL search results first in search outputs, enabling users to aggregate pertinent results quickly and easily. Studies show that effective citation-based scoring functions, namely, PageRank, HITS and Citation Count, are highly skewed, and have accuracy problems, possibly due to topic diffusion. In this paper, based on the notion of research pyramids, we propose an a priori technique to assign more effective publication scores. Using the ACM SIGMOD Anthology ODL as a testbed, we show that our approach provides more accurate and less skewed publication scores. [ABSTRACT FROM AUTHOR]

Although ontologies as an important component are widely used for different purpose in different communities and a number of approaches have been reported for developing ontologies, few works have been done to clarify the concept of knowledge science as far as we know. This paper presents a novel attempt to create an ontology characterizing a research program "Technology Creation Based on Knowledge Science" from a Knowledge Science perspective. We address a combination of bottom-up and top-down approaches to ontology creation, which is a first time to put forward a perspective of combining explicit knowledge with tacit, intuitive and experiential knowledge for constructing an ontology. An example of application of this ontology, related to a software tool named adaptive hermeneutic agent (AHA), is also given in the paper. [ABSTRACT FROM AUTHOR]

We develop a novel user-centric modeling technology, which can dynamically describe and update a person's expertise profile. In an enterprise environment, the technology can enhance employees' collaboration and productivity by assisting in finding experts, training employees, etc. Instead of using the traditional search methods, such as the keyword match, we propose to use relational and evolutionary graph models, which we call ExpertiseNet, to describe and find experts. These ExpertiseNets are used for mining, retrieval, and visualization. We conduct experiments by building ExpertiseNets for researchers from a research paper collection. The experiments demonstrate that expertise mining and matching are more efficiently achieved based on the proposed relational and evolutionary graph models. [ABSTRACT FROM AUTHOR]

Electronic Government (e-gov) research is mainly applied research serving a rapidly growing field of practice. Hence it is torn between academic analysis and practice demands for solutions to immediate problems. The research field has grown rapidly and now features several journals and a huge amount of conferences. Research quality is important to positively influence practice, but it takes time for a research field to settle with focus, borders, and quality standards. This paper follows up on an earlier study (Grönlund, 2004), which found quality lacking, by assessing 117 papers from two e-gov conferences, E-GOV 2005 and HICSS 2006, using rigor and relevance criteria derived from a straightforward maturity model. We find that since the last measurement, e-gov research papers on average are increasingly technically rigorous, increasingly descriptive (as opposed to analytical), increasingly product descriptions, and increasingly focus on IT rather than government, society, or individuals/citizens. Some potential explanations to the findings are discussed, and the paper concludes by discussing the issue of the nature of e-Government research - are we headed towards academic maturity or rather towards production of technical artefacts to support industry in a short-term perspective? [ABSTRACT FROM AUTHOR]

We have developed AirTransNote, a student notes sharing system to facilitate collaborative and interactive learning in a regular lecture at conventional classrooms. Our former student system employed ultrasonic digital pens to capture student notes on a usual paper sheet. Although the paper-based approach is intuitive for learners, the ultrasonic pen with a PDA created some difficulties when used by senior high school students. In order to eliminate those difficulties, we have introduced anoto-based pens and a data gathering system called "digital pen gateway." Owing to the improved student system, students could easily submit their answers with handling of multiple paper sheets. The teacher could refer the answers to choose students who need assistance during the lecture. Questionnaire results showed that the simpler student interface is quite acceptable, and the system can realize our augmented classroom concept in a practical way. [ABSTRACT FROM AUTHOR]

Knowledge visualization is a creative process, but difficult to formalize. This paper presents a system that is capable of analyzing voluminous citation data and visualizing the result. The system offers visualizations of trends by clustering scientific papers taken from the web (CiteSeer papers). Two methods are implemented: factor analysis and PFNET. An experiment has been carried out with the literature in knowledge management. A deep analysis of current trends in KM is then performed to check the relevance of these results. While the topical content is specific to knowledge engineering, semantic web, and related sub-areas, the approach could be applied to any general topic area in AI. [ABSTRACT FROM AUTHOR]

This paper provides a survey and analysis of applications of Agent Based Simulation (ABS). A framework for describing and assessing the applications is presented and systematically applied. A general conclusion from the study is that even if ABS seems a promising approach to many problems involving simulation of complex systems of interacting entities, it seems as the full potential of the agent concept and previous research and development within ABS often is not utilized. We illustrate this by providing some concrete examples. Another conclusion is that important information of the applications, in particular concerning the implementation of the simulator, was missing in many papers. As an attempt to encourage improvements we provide some guidelines for writing ABS application papers. [ABSTRACT FROM AUTHOR]

Modern information systems interact with a wide variety of users ranging from people with specific roles in business processes to end-users who access information in various ways and in different environments. Therefore, an application has to adhere to a well defined security policy on one hand and be highly adaptable to context on the other. We have extended the OM data model, with its rich support for role modelling, with concepts for modelling interactions between users and applications. In this paper, we show how the resulting interaction model can be used for role-based access control, as well as for modelling interactions in context-aware applications. [ABSTRACT FROM AUTHOR]

The aim of this paper is to give theoretical and experimental tools for measuring the driving force in evolving complex networks. First a discrete-time stochastic model framework is introduced to state the question of how the dynamics of these networks depend on the properties of the parts of the system. Then a method is presented to determine this dependence in the possession of the required data about the system. This measurement method is applied to the citation network of high energy physics papers to extract the in-degree and age dependence of the dynamics. It is shown that the method yields close to "optimal" results. [ABSTRACT FROM AUTHOR]

A programming model for the automatic construction of USN applications based on Nano-Qplus is proposed in this paper. Nano-Qplus is a sensor network platform developed by ETRI. Programs of nodes such as sensors, routers, sinks and actuators in a sensor network are automatically generated through the technique of this paper. Developers can implement USN applications from models of sensor networks. The configuration information of each node is automatically generated from a model. Then, the execution code is automatically generated using the configuration information. Through the technique of this paper, developers can easily implement USN applications even if they do not know the details of low-level information. The development effort of USN applications also will be decreased because execution codes are automatically generated. Furthermore, developers can consistently construct USN applications from USN models using the proposed tool. [ABSTRACT FROM AUTHOR]

Spatial structure supporting applications offer an abstract level of what can be found in the real world. However, in many systems, objects are aligned straight, rotation is not possible, they can be resized easily and can hold more text than is visible on the screen. Paper and structures created with paper seem to be more limited: Straight alignment is not possible without spending much time; paper can hardly be resized without damaging it; and piles may fall down if they become too tall. However, a closer look shows that paper structures offer much more attributes and dependencies than any current spatial structure supporting application. In this article, we compare paper structures to a selection of computer applications. We argue that the observed small additions with paper carry information which improves finding and organizing. [ABSTRACT FROM AUTHOR]

As in recent years, the focus of the ODBASE conference lies in addressing research issues that bridge traditional boundaries between disciplines such as databases, artificial intelligence, networking, data extraction, or mobile computing. There has been an increasing focus on semantic technologies in ODBASE. The work on semantic modeling technologies is being progressively scaled up to handling millions of triples which permit adoption of semantic applications within a few days. The envelope is being progressively pushed out to enable even faster, wider and broader enterprise-wide and Web-scale applications. Also, ODBASE 2007 encouraged the submission of papers that examine the information needs of various applications, including electronic commerce, electronic government, mobile systems, or bioinformatics. [ABSTRACT FROM AUTHOR]

This paper analyzes the necessity and requirements of switching from service-oriented operations to product-oriented operations in telecom industry, which helps to solve the conflict between more and more homogeneous telecom services and individualized customer demands. Then this paper puts forward a comprehensive definition of telecom product, and presents a structure framework of telecom product consisting of 8 ingredients: telecom service, information content and application, tariff, target market, brand, channel, customer service and supplementary resources. Meanwhile, this paper analyzes the process framework of telecom product lifecycle management and divides it into 4 phases: planning, developing, approving and publishing and improving or withdrawing. The complete concept data model is analyzed and gradually shaped in the UML language in the 4 phases. [ABSTRACT FROM AUTHOR]

Semantic Web conferences such as ESWC and ISWC offer prime opportunities to test and showcase semantic technologies. Conference metadata about people, papers and talks is diverse in nature and neither too small to be uninteresting or too big to be unmanageable. Many metadata-related challenges that may arise in the Semantic Web at large are also present here. Metadata must be generated from sources which are often unstructured and hard to process, and may originate from many different players, therefore suitable workflows must be established. Moreover, the generated metadata must use appropriate formats and vocabularies, and be served in a way that is consistent with the principles of linked data. This paper reports on the metadata efforts from ESWC and ISWC, identifies specific issues and barriers encountered during the projects, and discusses how these were approached. Recommendations are made as to how these may be addressed in the future, and we discuss how these solutions may generalize to metadata production for the Semantic Web at large. [ABSTRACT FROM AUTHOR]

A Neurovision System can be defined as an artificial tool that sees our physical world. The purpose of this paper is to show a novel tool to design a 3D artificial vision system based on Resilient Neural Networks. Camera Calibration (CC) is a fundamental issue for Computational-Vision. Classical CC methods comprise of taking images of objects with known geometry, extracting the features of the objects from the images, and minimizing their 3D backprojection errors. In this paper, a novel implicit-CC model based on Resilient Neural Networks, CR, has been introduced. The CR is particularly useful for 3D reconstruction of the applications that do not require explicitly computation of physical camera parameters in addition to the expert knowledge. The CR supports intelligent-photogrammetry, photogrammetron. In order to evaluate the success of the proposed implicit-CC model, the 3D reconstruction performance of the CR has been compared with two different well-known implementations of the Direct Linear Transformation (DLT). The proposed method is also robust sufficiently for dealing with different cameras because it is capable of fusion of the image coordinates sourced from different cameras once the neural network has been trained. [ABSTRACT FROM AUTHOR]

This paper proposes a kind of remote rendering method based on awareness model. This method takes the additional cost caused by the movement of the viewpoint into cost calculation and designs a cost prediction algorithm based on the vision field divided by awareness model. The simulation results show that the improved method can not only improve the quality of the remote rendering, but also make full use of the bandwidth of the network, as well as make the remote rendering more fluent when the viewpoint moves fast. [ABSTRACT FROM AUTHOR]

In this paper, we suggest a postal RFID application model that can be used for real time trace and tracking system implementation of parcel processing and pallet management. This paper also shows the tag recognition performance of parcels by speed and mounting tag material such as thin cans, water bottles, and paper using an implemented postal RFID system to find the best solution for RFID adaptation in postal logistics. [ABSTRACT FROM AUTHOR]

In order to discover services in business-driven Web service composition conveniently, accurately, and efficiently, this paper proposes a business process-oriented service discovery approach. In order to link business property with services, this paper proposes a business related description model of operations. Based on the business related relation model proposed in this paper, a relation-driven discovering algorithm for business process-oriented service discovery is presented. Compared with other discovering approach, the proposed discovering approach considers the business relation between operations and can solve the problem of discovering services with meaningful business relation. The experimentation shows the better performance of this algorithm. [ABSTRACT FROM AUTHOR]

In this paper, we study the problem of scheduling a set of n periodic preemptive independent hard real-time tasks on the minimum number of processors. We assume that the partitioning strategy is used to allocate the tasks to the processors and the EDF method is used to schedule the tasks on each processor. It is known that this scenario is NP-hard; thus, it is unlikely to find a polynomial time algorithm to schedule the tasks on the minimum number of processors. In this work, we derive a lower and an upper bound for the number of processors required to satisfy the constraints of our problem. We also compare a number of heuristic algorithms with each other and with the bounds derived in this paper. Numerical results demonstrate that our lower bound is very tight and it is very close to the optimal solution. [ABSTRACT FROM AUTHOR]

Request Processing Systems should exhibit predictable behavior by guaranteeing Quality-of-Service parameters. One of the important requirements of predictability is that requests should have maximum acceptable response time thresholds, denoted as deadlines in this paper. In order to provide QoS, the system should try to guarantee these deadlines. This way, it is desirable to use a load-balancing algorithm that tries to both maximize the throughput and minimize the missed deadlines. Assuming that all requests durations are known a priori, this paper shows, with the help of a simulator, how the control over the big tasks plays a crucial role in the pursuit of the objective. Finally, this paper presents a derived form of the traditional Least-Work-Remaining algorithm, named Task Assignment by Isolating Big Tasks, that proved to be a better alternative in such scenarios. [ABSTRACT FROM AUTHOR]

UML is being increasing used for the analysis and design of Web Information Systems. At the same time, many XML-based languages are cornerstones in the development of this kind of system. As a consequence of the predominance of these languages, there are many works in the literature devoted to exploring the relationships between UML and XML. In this paper we present a survey of current approaches to the transformation of UML models into XML schemas. The study is focused on the case of transformation of UML class diagrams to XML schemas, since we have not found any proposal regarding other kinds of UML diagrams. [ABSTRACT FROM AUTHOR]

In sensor networks, queries need to be jointly designed, in order to minimize the power consumption and maximize the lifetime. Data reduction techniques can be employed to decrease the size of data to be transferred in the network, and therefore save energy of sensor nodes. This paper presents a novel method for optimizing multi-query in sensor networks. Our approach is, by using packet combination techniques, to reduce the data size of multiple simultaneous queries, so that the energy for data transmission can be saved to the best extent. A delay item is specified together with the query by the application. Then an optimal query plan can be obtained by studying the best time of sending local data to sink that can lead to the minimum cost. Algorithm is described in detail. Performance analysis is performed to validate the effectiveness of the proposed method. [ABSTRACT FROM AUTHOR]

Digitizing ancient books, especially those related to the humanities, is practiced in many countries. The number of full-text databases in the humanities is increasing. Studies have shown that ancient books are important resources for humanities scholars and researchers. However, comparatively little research has been done concerning the use of those databases. Thirty graduate students majoring in Chinese Literature or History were interviewed in this study. This study attempts to answer the following questions: How do interviewees use the databases? Do they encounter any problems? What do they have to say concerning ancient books in digital or paper form? The results show that humanities graduate students use ancient books databases to locate information concerning their research interests. Most of them are satisfied with the search functions and feel that the databases are convenient to use. However, they comment that the coverage, quality, and search interface could be improved upon. As well, a few graduate students suggest that links to related resources should be added. They state that they do not totally rely upon the databases and continue to use paper sources. [ABSTRACT FROM AUTHOR]

Object-level vertical search engine has been the research focus recently where the resource collecting problem is still an open area. It is difficult to adapt the traditional link-based web crawler for this task because of the sparse linkage and data-centered webpage of the relevant resources. In this paper, we propose a meta-search based method enhanced with auxiliary crawling to address the problem caused by sparse linkage of the relevant resources. And to retrieve the data-centered webpages efficiently, domain schema is defined to describe the target resource, and representative data instances are selected for meta-search query composing. Moreover, evaluation criteria for the domain resource survey are also proposed as the guideline for query composing and auxiliary crawling, which enable the resource discovery to be automatically performed by computers. Experiment results on real-world data show that our method is effective and efficient. [ABSTRACT FROM AUTHOR]

This paper gives a survey of the current state of ARTIC - the modern Czech concatenative corpus-based text-to-speech system. All stages of the system design are described in the paper, including the acoustic unit inventory building process, text processing and speech production issues. Two versions of the system are presented: the single unit instance system with the moderate output speech quality, suitable for low-resource devices, and the multiple unit instance system with a dynamic unit instance selection scheme, yielding the output speech of a high quality. Both versions make use of the automatically designed acoustic unit inventories. In order to assure the desired prosodic characteristics of the output speech, system-version-specific prosody generation issues are discussed here too. Although the system was primarily designed for synthesis of Czech speech, ARTIC can now speak three languages: Czech (both female and male voices are available), Slovak and German. [ABSTRACT FROM AUTHOR]

Performance on a statistical language processing task relies upon accurate information being found in a corpus. However, it is known (and this paper will confirm) that many perfectly valid word sequences do not appear in training corpora. The percentage of n-grams in a test document which are seen in a training corpus is defined as n-gram coverage, and work in the speech processing community [7] has shown that there is a correlation between n-gram coverage and word error rate (WER) on a speech recognition task. Other work (e.g. [1]) has shown that increasing training data consistently improves performance of a language processing task. This paper extends that work by examining n-gram coverage for far larger corpora, considering a range of document types which vary in their similarity to the training corpora, and experimenting with a broader range of pruning techniques. The paper shows that large portions of language will not be represented within even very large corpora. It confirms that more data is always better, but how much better is dependent upon a range of factors: the source of that additional data, the source of the test documents, and how the language model is pruned to account for sampling errors and make computation reasonable. [ABSTRACT FROM AUTHOR]

It is not easy to develop a game that applies physical laws. In this paper we proposed a physics editor to make it easy to produce a physics game. The physics editor uses XML for processing attribute values of each object. This paper presents the architecture of the physics editor, and describes its detailed components. The physics editor provides an efficient method that is easily applied to physical attributes of all objects in the game. In this paper, we showed the process of a car's creation, using the physics editor. The physics editor that is presented in this paper automatically creates physical objects, but it is limited to the rigid body for car racing. [ABSTRACT FROM AUTHOR]

TSP(Traveling Salesman Problem) used widely for solving the optimization is the problem to find out the shortest distance out of possible courses where one starts a certain city, visits every city among N cities and turns back to a staring city. At this time, the condition is to visit N cities exactly only once. TSP is defined easily, but as the number of visiting cities increases, the calculation rate increases geometrically. This is why TSP is classified into NP-Hard Problem. Genetic Algorithm is used representatively to solve the TSP. Various operators have been developed and studied until now for solving the TSP more effectively. This paper applied the new Population Initialization Method (using the Random Initialization method and Induced Initialization method simultaneously), solved TSP more effectively, and proved the improvement of capability by comparing this new method with existing methods. Keywords: Genetic Algorithm, GA, Optimization, Initialization. [ABSTRACT FROM AUTHOR]

This paper introduces the invited session of "Intelligent Agents and their Applications" being presented at the 10th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems. This session concentrates on discussing Intelligent Agents and uses some applications to demonstrate the theories reported. An update on last years session [1] is included to report on several key advances in technology that further enable the ongoing development of multi-agent systems. A brief summary of the impediments presented to researchers is also provided to highlight why innovation must be used to sustain the evolution of Artificial Intelligence. This year a variety of challenges and concepts are presented, together with a collection of thoughts about the direction and vision of Intelligent Agents ands their Applciations. [ABSTRACT FROM AUTHOR]

Adaptive Hypermedia builds upon the annotation and adaptation of content. As manual annotation has proven to be the main bottleneck, all means for supporting it by reusing automatically generated metadata are helpful. In this paper we discuss two issues. The first is the integration of a generic AH authoring environment MOT into a semantic desktop environment. In this setup, the semantic desktop environment provides a rich source of automatically generated meta-data, whilst MOT provides a convenient way to enhance this meta-data manually, as needed for an adaptive course environment. Secondly, we also consider the issue of source schema heterogeneity, especially during the automatic metadata generation process, as semantic desktop metadata are generated through a lot of different tools and at different times, so that schemas are overlapping and evolving. Explicitly taking into account all versions of these schemas would require a combinatorial explosion of generation rules. This paper investigates a solution to this problem based on malleable schemas, which allow metadata generation rules to flexibly match different versions of schemas, and can thus cope with the heterogeneous and evolving desktop environment. [ABSTRACT FROM AUTHOR]

This paper introduces an analytical approach which is provided to calculate the downlink and uplink capacities of the time division duplex (TDD) system utilizing the underused frequency division duplex (FDD) uplink which shares the same frequency band. Then the ratio of downlink and uplink slots in one frame is adjusted, so as to prevent the radio resource waste due to asymmetric traffic characteristic in mobile multimedia services. The computer simulation shows that the resource waste problem can be considerably solved through the asymmetric slot allocation. Thus, this paper can be useful as a guideline in the course of planning a two-layer hierarchical cell structure (HCS) employing the TDD system as a microcell and FDD system as a macrocell as well as a mean to increase the performance of such a system. [ABSTRACT FROM AUTHOR]

Recommender algorithms have been quite successfully employed in a variety of scenarios from filtering applications to recommendations of movies and books at Amazon.com. However, all these algorithms focus on single item recommendations and do not consider any more complex recommendation structures. This paper explores how semantically rich complex recommendation structures, represented as RDF graphs, can be exchanged and shared in a distributed social network. After presenting a motivating scenario we define several annotation ontologies we use in order to describe context information on the user's desktop and show how our ranking algorithm can exploit this information. We discuss how social distributed networks and interest groups are specified using extended FOAF vocabulary, and how members of these interest groups share semantically rich recommendations in such a network. These recommendations transport shared context as well as ranking information, described in annotation ontologies. We propose an algorithm to compute these rankings which exploits available context information and show how rankings are influenced by the context received from other users as well as by the reputation of the members of the social network with whom the context is exchanged. [ABSTRACT FROM AUTHOR]

The paper reports on the development of the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval system. The advancements of the framework are the following. A resulting strategy compares the contexts of two background domain theories not concept by concept, but the whole context to the other context by accounting the relationships among concepts, the properties, the constraints over properties, and the available instances. It contains the mechanisms for measuring contextual similarity through assessing propositional substitutions and to provide argumentation through generating extra contexts. It uses presuppositions for choosing the best similarity hypotheses and to make the mutual concession to the common sense monotonic. It provides the means to evaluate the possible eagerness to concede through semantic commitments and related notions of knowledgeability and degree of reputation. [ABSTRACT FROM AUTHOR]

Accurate cancer classification is very important to cancer diagnosis and treatment. As molecular information is increasing for the cancer classification, a lot of techniques have been proposed and utilized to classify and predict the cancers from gene expression profiles. In this paper, we propose a method based on speciated evolution for the cancer classification. The optimal combination among several feature-classifier pairs from the various features and classifiers is evolutionarily searched using the deterministic crowding genetic algorithm. Experimental results demonstrate that the proposed method is more effective than the standard genetic algorithm and the fitness sharing genetic algorithm as well as the best single classifier to search the optimal ensembles for the cancer classification. [ABSTRACT FROM AUTHOR]

The Software Engineering track received 63 papers from which 7 papers were selected after an intensive reviewing and selection process. Many good papers could not be selected due to lack of space in the program. The selected papers cover a diverse range of topics within software engineering: from software reliability prediction to middle-ware for component management to runtime validation and code generation. The paper by Roychoudhury, Negi and Mitra analyzes programs loops for estimating program execution time. They use constraint propagation techniques to detect infeasible paths followed by timing analysis that employ memoization techniques. The paper by Sengupta and Cleaveland presents the operational semantics of timed message sequence charts to help detect errors and inconsistencies in specifications. Tripathi and Mall present a method for making predictions about reliability of software during the software development process itself when the failure data from the field cannot be available. The paper by Wang presents a logic programming framework for integrating architecture description languages (ADLs) which allows tools developed for one ADL to be used even though the architectural specification is written in another ADL. In a similar vain, the paper by Stevenson, Fu and Dong presents a framework for automated and validated realization of software architecture designs. The paper by Bhattarcharjee and Shyamsundar presents a method for validated code generation for activity diagrams which are useful in model driven design of software. Finally, the paper by Mousavi et al presents techniques that exploit symmetry for tackling the state-space explosion problem that arises in model checking. [ABSTRACT FROM AUTHOR]

With the popularization of networks, digitalization and automation, demand for enterprise informatization becomes more urgent. There are many factors leading to the demand for EIS. Some of the factors are from enterprise development, while others are from policy driven. In this paper, we present a relationship model by using system dynamics method to characterize the cause-result (C-R) of demand drivers of enterprise informatization. Based on the empirical studies, we reveal how the factors affect the demand for enterprise informatization, which form a cluster of causation to be used as the cause variables in our model. This procedure is to settle on the interim variables and result variables, which formed systematic dynamics C-R charts. Questionnaires and interviews from dozens of enterprises, Delphi Expert Decision method are made and analyzed, which verified the relationship between variables. The results presented in this paper provide good insights for the enterprise managers' optimal decisions. [ABSTRACT FROM AUTHOR]

In this paper we consider disaster management as the coordination of resources in space and time, and contrast this with the Joint Operational Picture (JOP) used in military planning. The basic premise is that the processes involved in the collection and management of information could interfere with the priorities of dealing with immediate demands on ‘rescuers' and their managers. Thus, we explore ways in which collaboration could be made as implicit as possible. The paper includes small-scale user trials of prototypes to highlight potential benefits and shortcomings. The paper concludes with consideration of how brokering approaches to coordination could be realized using the prototypes described in this paper. [ABSTRACT FROM AUTHOR]

The design of easy-to-use mobile systems for collecting and handling emergency medical care data in the field can significantly improve the effectiveness of rescue operations. In particular, this paper focuses on the design and evaluation of a mobile application that replaces ambulance run paper sheets. First, we discuss the limitations of traditional ambulance run paper sheets. Then, we present the PDA-based system we have developed. Finally, we discuss in detail the usability study we have carried out with first responders. [ABSTRACT FROM AUTHOR]

Across Europe emergency physicians are still using paper-based emergency report forms to document medical procedure at accident scenes. The forms are quite similar, but they differ in certain parameters or attributes. There are ongoing endeavours to combine the paper-based protocols and then transfer this new protocol standard into a software-based Emergency Patient Care Report Form (EPCRF). However during the transformation from a paper-based to an electronic solution, many problems occur. To keep the users' acceptance of the emergency medical services personnel, it is crucial that electronic EPCRF supports the central process efficiently. Therefore key elements within the emergency report form are the anatomical diagrams and the chronological sequence diagrams. These diagrams allow the emergency physician to track and record patient's parameters in a very fast and understandable and user friendly way. [ABSTRACT FROM AUTHOR]

This paper describes a system capable of semi-automatically filling an XML template from free texts in the clinical domain (practice guidelines). The XML template includes semantic information not explicitly encoded in the text (pairs of conditions and actions/recommendations). Therefore, there is a need to compute the exact scope of conditions over text sequences expressing the required actions. We present in this paper the rules developed for this task. We show that the system yields good performance when applied to the analysis of French practice guidelines. [ABSTRACT FROM AUTHOR]

With the rise of RFID technology, the so called internet of things for managing supply chain events has gained increasing attention. This paper proposes a peer to peer broker network on top of existing specifications for this infrastructure. With the broker network, event based communication is enabled for the internet of things. However, the main contribution of this paper is a mechanism to optimize event queries for in-network processing of supply chain events. Here, models of supply chain processes are exploited for optimizing event queries and enabling improved mapping of query operators to the broker network. Experiments are presented which show that the proposed mechanism reduces network load compared to existing approaches. [ABSTRACT FROM AUTHOR]

Multimodal systems support people with different needs and different features during the interaction process making it more easy and natural. However naturalness can usually produce ambiguous interpretation. This paper discusses ambiguities in multimodal interaction proposing in particular two different examples of ambiguities: a) multimodal ambiguities produced combining un-ambiguous modal information containing contrasting concepts in multimodal dialogue, b) ambiguities arising by the propagation at multimodal level of a modal input ambiguity. Moreover, the paper proposes a formal representation of multimodal inputs using the hybrid approach that combines the attribute multi-set grammar with the linear logic. This paper starts from discussing the main features of a multimodal system and the classes of cooperation between modalities. The attribute multi-set grammar combined with the linear logic enables to highlight the multidimensionality of multimodality and allows to formally describe ambiguities that can occur. [ABSTRACT FROM AUTHOR]

A software product-line is a set of products built from a core set of software components. Although software engineers develop software product-lines for various application types, they are most commonly used for embedded systems development, where the variability of hardware features requires variability in the supporting firmware. Feature models are used to represent the variability in these software product-lines. Various feature modeling approaches have been proposed, including feature diagrams, domain specific languages, constraint languages, and the semantic web language OWL. This paper explores a conceptual graph approach to feature modeling in an effort to produce feature models that have a more natural, and more easily expressed mapping to the problem domain. It demonstrates the approach using a standard Graph Product-line problem that has been discussed in various software product-line papers. A conceptual graph feature model is developed for the graph product-line and it is compared to other feature models for this product-line. [ABSTRACT FROM AUTHOR]

In current work for web service composition, the schema and structure of XML messages are abstracted and the messages are assumed to be flat, which is not the case as far as current standards and specifications are concerned. This paper proposes a method for web service composition based on message schema analysis. This method starts from message schema matching between two web services. The concepts of composable web services and composition context are defined to guide the synthesizing process. To perform message schema analysis, a method for MSL schema matching is discussed, where MSL is a formal model for XML Schema. Some usually used web service composition examples are collected from the literature to evaluate the method in this paper. [ABSTRACT FROM AUTHOR]

Software watermarking is a technique to protect programs from piracy through embedding secret information into the programs. As software unauthorized use and modification are ubiquitous in the world, progresses in software watermarking will certainly benefit software research and industry. In this paper, we study one of core concepts in this area - informed recognition. To recognize a watermark in a software is to judge the existence of such a watermark in the corresponding software code. [ABSTRACT FROM AUTHOR]

Titled Documents (TD) are short text documents that are segmented into two parts: Heading Part and Excerpt Part. With the development of the Internet, TDs are widely used as papers, news, messages, etc. In this paper we discuss the problem of automatic TDs categorization. Unlike traditional text documents, TDs have short headings which have less useless words comparing to their excerpts. Though headings are usually short, their words are more important than other words. Based on this observation we propose a titled document classification framework using the widely used MNB classifier. This framework puts higher weight on the heading words at the cost of some excerpt words. By this means heading words play more important roles in classification than the traditional method. According to our experiments on four datasets that cover three types of documents, the performance of the classifier is improved by our approach. [ABSTRACT FROM AUTHOR]