ppxscal/embedding_network huggingface dataset:
3D Image Segmentation Using the Bounded Irregular Pyramid
Authors: Fuensanta Torres, Rebeca Marfil, Antonio Bandera
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

This paper presents a novel pyramid approach for fast segmentation of 3D images. A pyramid is a hierarchy of successively reduced graphs whose efficiency is strongly influenced by the data structure that codes the information within the pyramid and the decimation process used to build a graph from the graph below. Depending on these two features, pyramids have been classified as regular and irregular ones. The proposed approach extends the idea of the Bounded Irregular Pyramid (BIP) [5] to 3D images. Thus, the 3D-BIP is a mixture of both types of pyramids whose goal is to combine their advantages: the low computational cost of regular pyramids with the consistent and useful results provided by the irregular ones. Specifically, its data structure combines a regular decimation process with an union-find strategy to build the successive 3D levels of the structure. Experimental results show that this approach is able to provide a low---level segmentation of 3D images at a low computational cost. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Complete Complexity Classification of Short Shop Scheduling
Authors: Alexander Kononov, Sergey Sevastyanov, Maxim Sviridenko
Venue: Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications (2009)

In this paper a comprehensive complexity analysis of classical shop scheduling problems (open shop, job shop and mixed shop) is presented subject to joint constraints on several problem parameters, such as the maximum processing time of an operation, the maximum number of operations per job, and the schedule length. Thus, our research continues the research line on the complexity analysis of short scheduling initiated for the open shop and job shop problems in the paper by Williamson et al. (1997). We improve upon some of the results in that paper.
Complete OWL-DL Reasoning Using Relational Databases
Authors: Maria Mar Roldan-Garcia, Jose F. Aldana-Montes
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

Real Semantic Web applications, such as biological tools, use large ontologies, that is, ontologies with a large number (millions) of instances. Due to the increasing development of such applications, it is necessary to provide scalable and efficient ontology querying and reasoning systems. DBOWL is a Persistent and Scalable OWL reasoner which stores ontologies and implements reasoning using a relational database. In this paper we present an extension of DBOWL that implements all inference rules for OWL-DL. Furthermore, we describe briefly the reasoning algorithms and their completeness proofs.
Assessing Voters' Attitudes towards Electronic Voting in Latin America: Evidence from Colombia's 2007 E-Voting Pilot
Authors: R. Michael Alvarez, Gabriel Katz, Ricardo Llamosa, Hugo E. Martinez
Venue: Proceedings of the 2nd International Conference on E-Voting and Identity (2009)

Electronic voting could increase citizens' electoral participation and trust in countries characterized by fragile democratic institutions and public discredit of the political system such as those in Latin America. This paper examines attitudes towards e-voting among participants in a large scale pilot project conducted in Colombia in 2007, focusing on the perceived reliability and usability of different automated voting technologies. Using a multivariate probit model, we determine the effect of socio-demographic, geographic and technical factors on users' evaluations of electronic voting vis a vis the traditional paper ballot system. Our results show that users find e-voting not only easier than the current voting system, but also substantially more reliable. While voters' opinions on usability are driven by technical issues, their trust in the new technologies is strongly affected by individual characteristics. We conclude that e-voting entails a promising opportunity to empower voters and increase confidence in elections in Colombia.
Detecting pitch accents at the word, syllable and vowel level
Authors: Andrew Rosenberg, Julia Hirschberg
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Short Papers (2009)

The automatic identification of prosodic events such as pitch accent in English has long been a topic of interest to speech researchers, with applications to a variety of spoken language processing tasks. However, much remains to be understood about the best methods for obtaining high accuracy detection. We describe experiments examining the optimal domain for accent analysis. Specifically, we compare pitch accent identification at the syllable, vowel or word level as domains for analysis of acoustic indicators of accent. Our results indicate that a word-based approach is superior to syllable- or vowel-based detection, achieving an accuracy of 84.2%.
A Heuristic Approach for Capacity Control in Clouds
Authors: Arun Anandasivam, Stefan Buschek, Rajkumar Buyya
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

Cloud resource providers in a market face dynamic and unpredictable consumer behavior. The way, how prices are set in a dynamic environment, can influence the demand behavior of price sensitive customers. A Cloud resource provider has to decide on how to allocate his scarce resources in order to maximize his profit. The application of bid price control for evaluating incoming service requests is a common approach for capacity control in network revenue management. In this paper we introduce a customized version of the concept of selfadjusting bid prices and apply it to the area of Cloud Computing. Furthermore, we perform a simulation in order to test the efficiency of the proposed model.
The Factors Affecting Institutionalisation of Enterprise Architecture in the Organisation
Authors: Tiko Iyamu
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

Abstract— Despite impressive technical advances in tools and methodologies and the organizational insights provided by many years of academic and business researches, the underperformance of Information Technology (IT) remains.In the past and even today, organizations experience difficulty in managing technology, changing from system to system, implementing new technology, maintaining compatibility with existing technologies, and changing from one business process to another. These problems impact significantly on business performance and will continue to do so if not addressed. As a result, many organizations have deployed EA in an attempt to address these challenges. However, the design and development of EA has proven to be easier than its institutionalization. The study explored the development and implementation of EA to determine the factors, which are barriers to its institutionalization. Two case studies were conducted.
Websphere Commerce Best Practices in Web 2.0 Store
Venue:  (2009)

This IBM Redbooks publication positions Web 2.0 Store and demonstates how Web 2.0 is applied to an e-commerce site. This book discusses the Web 2.0 Store and Social solutions. In addition, you will gain an understanding of the contributions Dojo and Ajax apply to the Web 2.0 Starter Store. This book emphasizes some of the Web 2.0 Store solutions benefits for the client and describes the Web 2.0 features of the new Web 2.0 Store solution of WebSphere Commerce. This book discusses the Model View Controller (MVC) design pattern for Web 2.0 and provide guidance to developers who are building and customizing Ajax-based applications. This book explains how to implement your own Web 2.0 Store using Ajax and Dojo and on the basis of the Madisons store. Developers can take advantage of building their own Web 2.0 Store in more efficient ways, for example, developers quickly design, develop, test, analyze, and deploy high-quality Web 2.0 Stores. This book describes the best practice when you test and debug the functionalities of your Web 2.0 Store, and also presents the Web 2.0 Store optimization best practice. This book is targeted for the following audience, WebSphere Commerce Developers, WebSphere Commerce Architects, and Technical Sales Specialist. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Structuring the Social Subsystem Components of the Community Based E-Museum Framework
Authors: Suriyati Razali, Nor Laila Md. Noor, Wan Adilah Wan Adnan
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

The use of social spaces design in social computing has created an economic value in the preservation of cultural heritage. This movement has now motivated the museum community to provide a systematic establishment to support the digital cultural heritage preservation through e-museum. However some of the cultural heritage community knowledge sharing drivers has not been adequately addressed. The significant growth of community based concept shows a great economic importance in producing reliable digital object repositories. We developed a conceptual framework of a community based e-museum (ComE) to facilitate the design of community knowledge sharing in as an attempt to solve the economic issues of sustaining a cultural heritage information system [1]. In this paper we further elaborate the framework by presenting the structural knowledge modeling of the subsystem of the ComE framework within the social technical system frame based on four components of community views. We demonstrate the instantiation by using the traditional Malay textile (TMT) as the cultural artifact as the case study.
Using Semantic-Level Tags in HTML/XML Documents
Authors: Lawrence J. Henschen, Julia C. Lee
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

We demonstrate that the development and use of mark-up techniques specifying semantic-level information and the development of advanced browser systems for interpreting these mark-ups appropriately for users with different capabilities can help make universal access a reality. We give several examples of semantic-level tags and attributes and show how they facilitate universal access as well as potentially address other issues in web design such as validation. We describe at least one way that advanced browsers could process such tags. Finally, we outline steps that would be appropriate for developing such mark-up languages and incorporating them into advanced browsers. The use of semantic-level tags allows for universal access to be built in at the early stages of design rather than be tacked on at the end or, even worse, not provided at all.
An Energy-Efficient Data Gathering Protocol for Wireless Sensor Networks
Authors: Jun Yang, Deyun Zhang, Yunyi Zhang
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

An energy-efficient data gathering protocol called E2DGP that takes advantage of spatial and temporal correlation of sampling data for WSNs is proposed in this paper. E2DGP includes a clustering method of balancing energy consumption, a data prediction transmission strategy and an energy-aware multihop routing algorithm. In clustering process phase, the initial probability of node for cluster head election is derived from mathematical relation between application’s seamless coverage fraction and numbers of required cluster heads. In data aggregation phase, the spatial correlation of data within a cluster is utilized by cluster head to aggregate sampling data. According to temporal correlation of sampling data, cluster heads send data to sink node using prediction transmission strategy while satisfying the transmission precision in the data transmission phase, and the lifetime of network is greatly prolonged by this strategy. In order to mitigate the hot spot problem among cluster heads, a greedy geographic and energy-aware multihop routing algorithm is presented for inter-cluster communication. Simulation results show that E2DGP outperforms EECS and LEACH in terms of network lifetime by balancing energy consumption and decrease of transmission while meeting desired application-specific requirements.
An Enhanced HyperTransport Controller with Cache Coherence Support for Multiple-CMP
Authors: Huandong Wang, Dan Tang, Xiang Gao, Yunji Chen
Venue: Proceedings of the 2009 IEEE International Conference on Networking, Architecture, and Storage (2009)

HyperTransport link is a high performance IO interface for system connection. In this paper, the architecture of a HyperTransport interface is introduced.This HyperTransport interface realizes efficient HT-AXI bidirectional transformation, where AXI is a popular bus protocol in SOC architectures. Furthermore, this HyperTransport interface provides dedicated hardware support for cache coherence protocol. Through this HyperTransport interface, Godson-3A multi-core processor chips can be interconnected together to forma 4-16 core CC-NUMA system or a large-scale NCCNUMA system. The verification of the HyperTransport interface is also presented.
Acquiring useful information in structured data of web
Authors: Luiz Augusto Matos da Silva
Venue: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (2008)

With the ease of publishing content and the services provided by Web, more people came to create and provide on-line information, turn it a great raveled of unstructured resources and generating greater complexity in the process of obtaining useful information. The objective of this work was to make the Web content mining, through the extraction of data in HTML pages with the use of microformats, and obtaining useful information through the application of techni ques of Data Mining. The result was developed the environment MicroMining with features of editing, validation, processing and query of data.
ICT4D and the learning sciences
Authors: Michael A. Evans, Aditya Johri, George E. Glasson, Kursat Cagiltay, Joyojeet Pal, Piya Sorcar
Venue: Proceedings of the 8th international conference on International conference for the learning sciences - Volume 3 (2008)

Over the last two decades, the learning sciences have contributed immensely to curricula-based learning in formal environments. Recently, there is an increased emphasis on learning that occurs outside formal institutions, especially through the use of technology. Design experiments and design-based research have resulted in several innovations and in an overall conception of designing and researching new learning environments. Not surprisingly, technology has been a critical component of research and teaching. Yet, this focus has primarily been on developed nations in the West. Recently the participation from other areas of the world, especially Africa, Asia, the Middle East, has been on the increase while the community of researchers and scholars is internationalizing. One area of innovation that has not been part of the community but which we wish to bring to focus through our symposium is the use of information and communication technologies for development (ICT4D) in emerging economies.
Runtime Adaptive Extensible Embedded Processors -- A Survey
Authors: Huynh Phung Huynh, Tulika Mitra
Venue: Proceedings of the 9th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation (2009)

Current generation embedded applications demand the computation engine to offer high performance similar to custom hardware circuits while preserving the flexibility of software solutions. Customizable and extensible embedded processors, where the processor core can be enhanced with application-specific instructions, provide a potential solution to this conflicting requirements of performance and flexibility. However, due to the limited area available for implementation of custom instructions in the datapath of the processor core, we may not be able to exploit all custom instruction enhancements of an application. Moreover, a static extensible processor is fundamentally at odds with highly dynamic applications where the custom instructions requirements vary substantially at runtime. In this context, a runtime adaptive extensible processor that can quickly morph its custom instructions and the corresponding custom functional units at runtime depending on workload characteristics is a promising solution. In this article, we provide a detailed survey of the contemporary architectures that offer such dynamic instruction-set support and discuss compiler and/or runtime techniques to exploit such architectures.
Which Groupware Tool is the Most Suitable for this Group?
Authors: Gabriela N. Aranda, Aurora Vizcaino, Mario Piattini
Venue: Proceedings of the 2009 Fourth IEEE International Conference on Global Software Engineering (2009)

Improving communication and knowledge sharing are the main challenges in global software development projects. Since stakeholders in such environments must communicate by means of groupware tools, our research focuses on analyzing people’s preferences, according to their cognitive characteristics, in order to discover behaviour patterns that will help us to define the best choice for them. In this paper we present a methodology for groupware selection for a given group of people, along with some preliminary results of a controlled experiment.
Study on Measurement Model of Putting People First for E-mail Login System
Authors: Dajin Yu
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

E-mail system has become an important platform for information exchange in Information Age. Users use e-mail login system with an obvious purpose. The main function of the realization of e-mail login system depends on the exchange of information. Synthesized the distance of information-state transition(DIT) theory and evaluation theory, this paper studied the DIT of e-mail login system in commercial websites from the perspective of putting people first, put forward the measurement model of putting people first for e-mail login system based on DIT theory. Then took using e-mail login system in Netease and Sina web as examples, comparatively analyzed the DIT from two perspectives-not putting people first and putting people first. Meanwhile, this study provide the necessary academic basics and data support for further analysis of the information management on login system in commercial websites.
On the Role of Formal Methods in Software Certification: An Experience Report
Authors: Constance L. Heitmeyer
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

This paper describes how formal methods were used to produce evidence in a certification, based on the Common Criteria, of a security-critical software system. The evidence included a top level specification (TLS) of the security-relevant software behavior, a formal statement of the required security properties, proofs that the specification satisfied the properties, and a demonstration that the source code, which had been annotated with preconditions and postconditions, was a refinement of the TLS. The paper also describes those aspects of our approach which were most effective and research that could significantly increase the effectiveness of formal methods in software certification.
Incremental System Modelling in Event-B
Authors: Stefan Hallerstede
Venue: Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures (2009)

A reasonable approach to formal modelling is to start with a specification that captures the requirements of a system and then use formal refinement to implement it.The problem with this approach is that for complex systems the specification itself is complex. It becomes a challenge to say whether the specification is the right one for the given requirements. Sometimes requirements also concern features of a system closely related to its implementation. This would make an abstract specification necessarily incomplete.We believe that it is better not to follow the rigid approach to modelling described above. Instead, we argue that the specification itself should be elaborated by refinement. Ultimately, the distinction between specification and implementation is no longer made in the strict sense above. There is only one model of the system that is connected by successive refinements. Using Event-B, we demonstrate how this can be applied to cope with the complexity of specifications. On the one hand we benefit from the reduced number of detail to consider at different times. On the other hand we are encouraged to reason about the formal model since the beginning and to rethink it occasionally to capture better its intended behaviour and match the requirements. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Activity Awareness and Social Sensemaking 2.0: Design of a Task Force Workspace
Authors: Gregorio Convertino, Lichan Hong, Les Nelson, Peter Pirolli, Ed H. Chi
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

Task forces of expert knowledge workers would benefit from more advanced web tools supporting activity awareness and social sensemaking. This paper proposes the design of a task force workspace, which is under development. It introduces the problem through a scenario, specifies requirements, illustrates a modeling approach and the mockups of the functions in the proposed workspace. Design issues and future work are finally discussed.
A Further Discussion on Bounds on the Rate of Uniform Convergence of Learning Theory Based on Fuzzy Samples
Authors: Jiqiang Chen, Minghu Ha
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

Statistical Learning Theory (SLT) based on random samples formed in probability space is considered at present as one of the fundamental theories about small samples statistical learning. It has become a novel and important field of machine learning along with other concepts and architectures such as neural networks. However, many problems involve fuzzy samples in real word and the theory hardly handles statistical learning problems for them. Being motivated by some applications and the ambiguity of real world, in this study, we further develop an SLT based on fuzzy samples. Firstly, we prove a certain law of Hoeffding inequality for fuzzy random variables. Secondly, we further present the bounds on the rate of uniform convergence of learning theory based on fuzzy samples in probability space, which become cornerstones of the theoretical fundamentals of the SLT for fuzzy samples.