ppxscal/embedding_network huggingface dataset:
Interactive Ray Tracing for Volume Visualization and 3D Rendering Using Neural Networks
Authors: Youwei Yuan, Wenlong Ye
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

This article describes a novel approach to the real-time visualization and 3D rendering using neural networks. The neural network model is proposed in this paper for optimal control with control constraints. We consider 3D metamorphosis applied to volume-based representations of objects. We discuss the issues which arise in volume morphing and present a method for creating morphs. The technique of volume ray casting can be derived directly from the rending equation. It provides results of very high quality.
Local Quantitative LTL Model Checking
Authors: Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, Jana Tůmová
Venue: Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (2009)

Quantitative analysis of probabilistic systems has been studied mainly from the global model checking point of view. In the global model-checking, the goal of verification is to decide the probability of satisfaction of a given property for all reachable states in the state space of the system under investigation. On the other hand, in local model checking approach the probability of satisfaction is computed only for the set of initial states. In theory, it is possible to solve the local model checking problem using the global model checking approach. However, the global model checking procedure can be significantly outperformed by a dedicated local model checking one. In this paper we present several particular local model checking techniques that if applied to global model checking procedure reduce the runtime needed from days to minutes.
Multiple Terminologies in a Health Portal: Automatic Indexing and Information Retrieval
Authors: Stéfan J. Darmoni, Suzanne Pereira, Saoussen Sakji, Tayeb Merabti, Élise Prieur, Michel Joubert, Benoit Thirion
Venue: Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine (2009)

Background: In the specific context of developing quality-controlled health gateways, several standards must be respected (e.g. Dublin Core for metadata element set; thesaurus MeSH as the controlled vocabulary to index Internet resources; HON code to accredit quality of health Web sites). These standards were applied to create the CISMeF Web site (French acronym for Catalog Index of Health Internet resources in French). Objective: In this work, the strategic shift of the CISMeF team is intended to index and retrieve French resources not anymore with a single terminology (MeSH thesaurus) but with the main health terminologies available in French (ICD 10, SNOMED International, CCAM, ATC). Methods Results: Since 2005, we have developed the French Multi-Terminology Indexer (F-MTI), using a multi-terminology approach and mappings between health terminologies. This tool is used for automatic indexing and information retrieval. Conclusion: Since the last quarter of 2008, F-MTI is daily used in the CISMeF production environment and is connected to a French Health Multi-Terminology Server.
Improving the Quality of Life of People with Dementia through the Use of Socially Assistive Robots
Authors: Adriana Tapus
Venue: Proceedings of the 2009 Advanced Technologies for Enhanced Quality of Life (2009)

In less than 25 years, 37 million people are expected to have dementia and/or Alzheimer’s disease. This significant figure is a result of several factors, including increasing life expectancy and an ageing population in developing countries. Alzheimer’s disease, a form of dementia, is a progressive brain disorder that causes memory loss, and behavior and personality changes. People suffering from this disease become increasingly physically and cognitively impaired; they usually need help with all aspects of daily living. While there is currently no cure for dementia, special therapies (e.g., arts and crafts, music therapy) can help people with dementia to live as good a life as possible. We propose to use socially assistive robots as customized/individualized helpers as a complement to humans. This work proposes a new adaptive socially assistive robotic (SAR) system that aims to provide a customized protocol through motivation, encouragement, and companionship for users suffering from cognitive changes related to aging and/or Alzheimer’s disease. The robot aims to maintain/improve the user’s cognitive attention in a cognitive music game setup.
Methods and Tools for Ethical Usability
Authors: Iordanis Kavathatzopoulos, Agata Kostrzewa, Mikael Laaksoharju
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

The objectives of the tutorial are to provide knowledge of basic ethical, psychological and organizational theories that are relevant to consider ethical aspects during design and use of IT systems; knowledge and skills about handling and solving ethical problems in connection with design and use of IT-systems; and skills in using questionnaires, surveys, interviews and the like in connection with software development and IT-use. It contains lectures, workshop and exercises; use of special tools to identify and consider IT ethical issues during planning, construction, installation and use of IT systems; and group exercises where the participants train their ethical skills on IT ethical conflicts and problems. Intended participants are system developers, purchasers, usability experts, academics, HCI teachers.
Robust Fault-Tolerant Control for Networked Control System Based on Takagi-Sugeno Fuzzy Model
Authors: Wei Li, Dongnian Jiang, Weirong Liu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

The problem of robust fault-tolerant control for a class of nonlinear networked control systems (NCSs) with parameter uncertainties is investigated in this paper. A T-S fuzzy model is employed to represent the nonlinear controlled plant in the NCSs. Both networked-induced delay and packet dropout in transmission are addressed. By using Lyapunov-Krasovskii functional, the less conservative integrity design for NCSs with failures of actuator and sensor is analyzed based on a delay-dependent approach, and the robust fault-tolerant controller gain can be obtained via solving several linear matrix inequalities (LMIs). Moreover, some slack matrices which reduce conservatism are introduced during the proof. Finally, an example is used to illustrate the effectiveness and the feasibility of the proposed approach.
Online discussion design on adult students' learning perceptions and patterns of online interactions
Authors: Fengfeng Ke, Kui Xie
Venue: Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 1 (2009)

This proposal reports a study examining the impact of the online discussion design on adult students' perceptions of online learning and their online interaction performance. Specifically, in this causal-comparative study we collected data with surveys and the content analysis of online discussion scripts to explore the learning impact of online discussion types (instructor-led versus student-led), the discussion grouping design (class-wide, group discussions, versus the integrated), and the computer-mediate communication (CMC) environment (asynchronous versus hybrid). The study indicated that the online discussions that were student-led and integrating class-wide and group forums predicted higher learning satisfaction and deeper learning for adult students.
Fast planning by search in domain transition graph
Authors: Yixin Chen, Ruoyun Huang, Weixiong Zhang
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Recent advances in classical planning have used the SAS+ formalism, and several effective heuristics have been developed based on the SAS+ formalism. Comparing to the traditional STRIPS/ADL formalism, SAS+ is capable of capturing vital information such as domain transition structures and causal dependencies. In this paper, we propose a new SAS+ based incomplete planning approach. Instead of using SAS+ to derive heuristics within a heuristic search planner, we directly search in domain transition graphs (DTGs) and causal graphs (CGs) derived from the SAS+ formalism. The new method is efficient because the SAS+ representation is often much more compact than STRIPS. The CGs and DTGs provide rich information of domain structures that can effectively guide the search towards solutions. Experimental results show strong performance of the proposed planner on recent international planning competition domains.
Application of the Concatenation of Reed Solomon and Luby Transform Codes in Deep Communications
Authors: Yongzhao Lin, Chengke Wu, Qun Zhang, Wei Liu
Venue: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (2009)

For the problem of low code gain of the concatenation of Reed Solomon (RS) codes and convolutional codes (CC), the concatenated scheme of RS+CC and Luby Transform (LT) codes with an improved decoding algorithm is proposed. The improved decoding algorithm for LT codes decreases the receiving buffer consumption and improves the successful decoding probability and the real-time property of LT codes at some low computational cost. Simulations and analyses are made to evaluate the performance of the concatenated scheme in terms of the error correction capacity and cost.
Issues in Arabic orthography and morphology analysis
Authors: Tim Buckwalter
Venue: Proceedings of the Workshop on Computational Approaches to Arabic Script-based Languages (2004)

This paper discusses several issues in Arabic orthography that were encountered in the process of performing morphology analysis and POS tagging of 542,543 Arabic words in three newswire corpora at the LDC during 2002--2004, by means of the Buckwalter Arabic Morphological Analyzer. The most important issues involved variation in the orthography of Modern Standard Arabic that called for specific changes to the Analyzer algorithm, and also a more rigorous definition of typographic errors. Some orthographic anomalies had a direct impact on word tokenization, which in turn affected the morphology analysis and assignment of POS tags.
Research of Failure Detection Based on the Intelligent Information Fusion Technology
Authors: Hao Long, Xuetao Wu, Shujie Song
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

The new failure detection algorithm based on intelligent information fusion is proposed, in which the non-stationary signal’s growth of residual error is suppressed; In order to enhance the Signal-to-Noise of weak information of residual errors, the wavelet frequency-signal analyzing technology is adopted to separate the non-stationary noise; The artificial neural network is used to eliminate the influence of the non-linear deviation signal to the residual error decision, so the applicable scope of the algorithm is expanded. The simulation results indicate that, this algorithm’s technical performance is superior, and the improvement effect is obvious.
Quantitative defects management in iterative development with BiDefect
Authors: Lang Gou, Qing Wang, Jun Yuan, Ye Yang, Mingshu Li, Nan Jiang
Venue: Software Process: Improvement and Practice (2009)

Iterative development methodology has been widely adopted in recent years since it is flexible and capable of dealing with requirement volatility. However, how to quantitatively manage iterative projects, and in particular, how to quantitatively manage defects across multiple iterations, remains a challenging issue. In this article, we identify three main challenges of quantitative defects management in iterative development in a leading Chinese telecommunications company (named ZZNode). The three challenges are: identifying appropriate &lsquo;control points&rsquo; in each iteration, selecting appropriate measures and corresponding measurement methods, and determining the &lsquo;sweet spot&rsquo; amount of effort for performing testing and defect-fixing activities. We propose a process performance Baselines based iteration Defects management (BiDefect) method to address the three challenges. We also report an industrial experience where several iterative development projects of ZZNode successfully applied the BiDefect method in initial estimating, analyzing, re-estimating, and controlling number of defects and defect detecting-fixing effort. In addition, we provide the evaluation of using BiDefect method, and discuss the benefits and lessons learned from BiDefect and its application. Copyright &copy; 2009 John Wiley & Sons, Ltd.
Efficient and effective RFID data warehousing
Authors: Bettina Fazzinga, Sergio Flesca, Elio Masciari, Filippo Furfaro
Venue: Proceedings of the 2009 International Database Engineering & Applications Symposium (2009)

Radio Frequency Identification (RFID) applications are emerging as key components in object tracking and supply chain management systems since in the next future almost every major retailer will use RFID systems to track the shipment of products from suppliers to warehouses. Due to the streaming nature of RFID readings, large amounts of data are generated by these devices at high production rates. This phenomenon is even more relevant since RFIDs are so cheap that every individual item can be tagged thus leaving a "trail" of data as it moves across different locations. This scenario raises new challenges in effectively and efficiently exploiting such large amounts of data. In this paper we address the problem of compressing RFID data in order to enable devices with limited amount of available memory (such as PDAs) to issue queries on RFID warehouses. In particular, we designed a lossy strategy for collapsing tuples carrying information about items being delivered at different location of the supply chain.
Fault Diagnosis and Isolation Process of Gas Turbine Based on Fault Dependency
Authors: Yongbao Liu, Liangli Ma, Shuhong Huang
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

Fault diagnosis and isolation technology become the key part to guarantee a complex system running normally, such as marine gas turbine. This paper firstly defines fault dependency type and fault dependency relationship graph. Then the notion of fault dependency relationship matrix is given. Addressed to three different fault dependency types, we give the methods how to construct above matrix model and describe the algorithm to identify the relative faults. Based on these, we apply above model and algorithm to LM2500 marine gas turbine in the process of fault diagnosis and isolation. Then the conceptual architecture and fault tree is described. The implemented system interface is given applying above methods.
Efficiently support MapReduce-like computation models inside parallel DBMS
Authors: Qiming Chen, Andy Therber, Meichun Hsu, Hans Zeller, Bin Zhang, Ren Wu
Venue: Proceedings of the 2009 International Database Engineering & Applications Symposium (2009)

While parallel DBMSs do support large scale parallel query processing on partitioned data, the reach of more general applications relies on User Defined Functions (UDFs). However, the existent UDF technology is insufficient both conceptually and practically. A UDF is not a relation-in, relation-out operator, which restricts its ability to model complex applications defined on a set of tuples rather than on a single one, and to be composed with other relational operators in a query. Further, to interact with the query execution efficiently, a UDF must be coded with complex interactions with DBMS internal data structures and system calls which is often beyond the expertise of an analytics application developer. To solve these problems, we start with wrapping general applications with Relation Valued Functions (RVFs); then based on the notion of invocation patterns, we provide focused system support for efficiently integrating RVF execution into the query processing pipeline. We further distinguish the system responsibility and the user responsibility in RVF development, by separating an RVF into the RVF-Shell for dealing with system interaction, and the user-function for pure application logic, such that the RVF-Shell can be constructed in terms of high-level APIs. These mechanisms enable us to solve the essential problems in supporting MapReduce and other analytics computation models inside a parallel database engine: modeling complex applications, integrating them into query processing, and shielding analytics developers from DBMS internal details. Prototyped on a commercial and proprietary parallel database engine, our experience reveals the practical value of the proposed approaches.
Evaluation of Managerial Performance Based on Two Stage Relative Efficiency Method
Authors: Xu Yan-li, Feng Ying-jun
Venue: Proceedings of the 2009 Second International Conference on Intelligent Computation Technology and Automation - Volume 04 (2009)

Evaluation of managerial performance is one of the most important problems in management science. Two stage relative efficiency model, a newly named analytical method, is presented here in order to evaluate managerial performance fairly. This method evaluates managerial performance by eliminating the influence of existing conditions. Empirical results show that managers in firms with relatively superior existing conditions still need to work hard to maintain their competitiveness and achieve better than before performance. On the other hand, managers in those firms with relatively inferior existing conditions can also achieve better than before performance and fair evaluation if they conscientiously make great efforts. The method presented here can avoid penalizing good managers who manage within an unfavorable existing condition as well as avoid rewarding poor managers who manage in a favorable existing condition. In a word, the two-stage relative efficiency model is an equitable and objective measuring method for efficiency. The method has solved the problem that managerial performance in different situation cannot be compared each other.
Why are they excited?: identifying and explaining spikes in blog mood levels
Authors: Krisztian Balog, Gilad Mishne, Maarten de Rijke
Venue: Proceedings of the Eleventh Conference of the European Chapter of the Association for Computational Linguistics: Posters & Demonstrations (2006)

We describe a method for discovering irregularities in temporal mood patterns appearing in a large corpus of blog posts, and labeling them with a natural language explanation. Simple techniques based on comparing corpus frequencies, coupled with large quantities of data, are shown to be effective for identifying the events underlying changes in global moods.
Remote-brained robots
Authors: Masayuki Inaba
Venue: Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2 (1997)

We introduce our research approach to investigating real world intelligence by building 'Remote-Brained Robots'. The key idea is that of interfacing AI systems with real-world behaviors through wireless technology. In this approach the robot system is designed to have the brain and body separate, both conceptually and physically. It allows us to tie AI directly to the world, enabling the verification of high-level AI techniques which could previously only be used in simulation. For robotics research, this approach opens the way to the use of large-scale powerful parallel computers. For AI, this approach allows experiments with realistic agents, an essential step to the application of AI in the real world. In this presentation we introduce the remote-brained approach, describe some remote-brained robots and discuss experiments.
Monitoring Co-seismic Deformation Fields of Bam Earthquake Using D-InSAR Technique
Authors: Zhiyong Wang, Jixian Zhang, Guoman Huang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

The Mw=6.5 Bam earthquake, taking place on 26th December 2003 in Iran, caused severe surface deformation. This paper described that it used the differential interferometric SAR (D-InSAR) technique and ENVISAT ASAR data to monitor the Bam co-seismic deformation fields. Firstly, it introduced the principle of D-InSAR and the method to select proper D-InSAR data pairs. Then we used ENVISAT ASAR data to carry out D-InSAR test in the Bam earthquake. We successfully got the Bam co-seismic deformation field. The shape and location of the fault caused by the Bam earthquake was also found in the coherence maps. The test proved that D-InSAR technique is a powerful tool to measure surface deformation and to study earthquake.
Technical communique: A robust control approach to stabilization of networked control systems with time-varying delays
Authors: Wen-An Zhang, Li Yu
Venue: Automatica (Journal of IFAC) (2009)

The stabilization problem is studied for networked control systems (NCSs) with time-varying delay that may be larger than one sampling period. By considering state feedback controllers, the closed-loop NCS is described as a switched delay system, which is then represented as an interconnected feedback system. A sufficient BIBO stability condition is derived for the closed-loop NCS by using the small gain theorem and the average dwell time technique. Design procedures for the BIBO stabilizing controllers are also presented. An example is given to demonstrate the effectiveness of the proposed method.
Towards robust animacy classification using morphosyntactic distributional features
Authors: Lilja Øvrelid
Venue: Proceedings of the Eleventh Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop (2006)

This paper presents results from experiments in automatic classification of animacy for Norwegian nouns using decision-tree classifiers. The method makes use of relative frequency measures for linguistically motivated morphosyntactic features extracted from an automatically annotated corpus of Norwegian. The classifiers are evaluated using leave-one-out training and testing and the initial results are promising (approaching 90% accuracy) for high frequency nouns, however deteriorate gradually as lower frequency nouns are classified. Experiments attempting to empirically locate a frequency threshold for the classification method indicate that a subset of the chosen morphosyntactic features exhibit a notable resilience to data sparseness. Results will be presented which show that the classification accuracy obtained for high frequency nouns (with absolute frequencies >1000) can be maintained for nouns with considerably lower frequencies (~50) by backing off to a smaller set of features at classification.