ppxscal/embedding_network huggingface dataset:
A study of constant bit-rate data transfer over TCP/IP
Authors: Stephen Kershaw, Richard Hughes-Jones
Venue: Future Generation Computer Systems (2010)

We investigate the use of Transmission Control Protocol (TCP) for the transfer of real-time constant bit-rate data and report on the effects of the protocol on the flow of data. TCP is a connection-oriented reliable end-to-end transport protocol which provides bitwise correct data transfer. TCP transmits data according to well-known rules that guarantee reliable delivery and attempt to ensure that the available capacity is shared equitably amongst users. However, this behaviour can result in delayed data transmission and highly variable throughput. We discuss the system requirements and parameters that would be needed for TCP to be successful in moving constant bit-rate real-time data and if TCP were to be used, the implications for applications such as e-VLBI, where we are more concerned with the timely arrival of data than guaranteed delivery. Experiments were conducted using bit-rates of hundreds of Mbit/s over dedicated European Gigabit lightpaths. The results show that for a lossy TCP connection using standard bandwidth-delay sized buffers, the packet arrival times for a constant bit-rate flow diverge from real-time arrival. Using sender-side buffering by increasing the Linux socket buffer sizes, by orders of magnitude in some situations, allows timely arrival of data at the TCP level with only temporary, though possibly lengthy, delays.
Template-independent news extraction based on visual consistency
Authors: Shuyi Zheng, Ruihua Song, Ji-Rong Wen
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

Wrapper is a traditional method to extract useful information from Web pages. Most previous works rely on the similarity between HTML tag trees and induced template-dependent wrappers. When hundreds of information sources need to be extracted in a specific domain like news, it is costly to generate and maintain the wrappers. In this paper, we propose a novel template-independent news extraction approach to easily identify news articles based on visual consistency. We first represent a page as a visual block tree. Then, by extracting a series of visual features, we can derive a composite visual feature set that is stable in the news domain. Finally, we use a machine learning approach to generate a template-independent wrapper. Experimental results indicate that our approach is effective in extracting news across websites, even from unseen websites. The performance is as high as around 95% in terms of F1-value.
Distance perception in virtual environments: a closer look at the horizon and the error
Authors: Betsy Williams, Travis Rasor, Gayathri Narasimham
Venue: Proceedings of the 6th Symposium on Applied Perception in Graphics and Visualization (2009)

Distances are systematically underestimated in the virtual environments. In this work we explore the possibility of shifting the angular the angular declination from the horizon as a way of manipulating perceived distances in a head-mounted display (HMD). We find that shifting the horizon upward 11.5&deg; upward does not have an effect on distance perception. Blind walking tasks at 1.5m, 2.5m, 3.5m, 4.5m and 5.5m show an overestimation of perceived distances less than 2.5m and an underestimation of perceived distances greater than 3.5m. Absolute distance and errors in estimating distance are linearly related.
Regional Difference in the Use of Cell Phone and Other Communication Media among Senior Users
Authors: Ayako Hashizume, Masaaki Kurosu, Toshimasa Yamanaka
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

In this paper, authors focused on the use of the cell phone by senior people living in the urban area and the rural area in Japan. The result of the questionnaire research showed that there are differences in the use of the cell phone and other communication media between two areas. These differences are related to the difference in the life pattern and the environmental factors in both areas.
Speech recognition based computer keyboard replacement for the Quadriplegics, Paraplegics, paralytics and amputees
Authors: C. Chandramouli, Vivek Agarwal
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

This paper describes the design and development of a speech recognition system which can be used to interact with a home computer and to control domestic appliances at the command of a word (speech). It can also be used to control special appliances like an electric wheel chair. This rehabilitative (or assistive) system is developed primarily for individuals who are physically handicapped due to Quadriplegia, Paraplegia, Amyotrophic lateral sclerosis, paralysis, congenital defect(s) or accident, leading to de-generated growth of or amputated limbs. The possibility of browsing the web by linking keyboard and mouse emulation with discretely spoken word recognition is the main motivating factor to develop this assistive system. All the details of the developed system are presented.
Computing Knowledge in Security Protocols under Convergent Equational Theories
Authors: Ştefan Ciobâcă, Stéphanie Delaune, Steve Kremer
Venue: Proceedings of the 22nd International Conference on Automated Deduction (2009)

In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a procedure for both problems under arbitrary convergent equational theories. Our procedure terminates on a wide range of equational theories. In particular, we obtain a new decidability result for a theory we encountered when studying electronic voting protocols. We also provide a prototype implementation.
UVAVU: WordNet similarity and lexical patterns for semantic relation classification
Authors: Willem Robert van Hage, Sophia Katrenko
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

The system we propose to learning semantic relations consists of two parallel components. For our final submission we used components based on the similarity measures defined over WordNet and the patterns extracted from the Web and WMTS. Other components using syntactic structures were explored but not used for the final run.
Branching-Time Logics Repeatedly Referring to States
Authors: Volker Weber
Venue: Journal of Logic, Language and Information (2009)

While classical temporal logics lose track of a state as soon as a temporal operator is applied, several branching-time logics able to repeatedly refer to a state have been introduced in the literature. We study such logics by introducing a new formalism, hybrid branching-time logics, subsuming the other approaches and making the ability to refer to a state more explicit by assigning a name to it. We analyze the expressive power of hybrid branching-time logics and the complexity of their satisfiability problem. As main result, the satisfiability problem for the hybrid versions of several branching-time logics is proved to be 2EXPTIME-complete. To prove the upper bound, the automata-theoretic approach to branching-time logics is extended to hybrid logics. As a result of independent interest, the nonemptiness problem for alternating one-pebble Büchi tree automata is shown to be 2EXPTIME-complete. A common property of the logics studied is that they refer to only one state. This restriction is crucial: The ability to refer to more than one state causes a nonelementary blow-up in complexity. In particular, we prove that satisfiability for NCTL* has nonelementary complexity.
E-Commerce in the Textile and Apparel Supply Chain Management: Framework and Case Study
Authors: Wang Jinfu, Zhang Aixiang
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

The development of e-commerce technologies in relation to textile and apparel management have been improved significantly in the recent years and are perceived as a mainstream to improve productivity and information flow as well as communications. Many researchers give a special attention to e-commerce technology or supply chain separately. However, until now, not much evident research has been conducted to pursue successful applications of e-commerce technologies to the Textile and Apparel supply chain. The paper aims to understand the current state of e-commerce technologies applications in the Textile and Apparel supply chain and provide recommendations for future improvement. We begin with a brief look at the current competitive landscape in the“bricks and mortar” apparel industry, introduces the concept and relevant research of e-commerce and supply chain firstly, then enlightened by the successful practices of e-commerce recently, the paper puts forward that the effective textile and apparel supply chain management system should be designed integrated e-commerce. A thorough analysis of the mechanism of e-commerce has been made and framework of e-supply chain analyzed accordingly. Finally, the paper concludes and set up an effective and efficient supply chain management mechanism with e-commerce technology for Textile and Apparel industry.
Combined compression and simplification of dynamic 3D meshes
Authors: Libor Váša
Venue: Computer Animation and Virtual Worlds (2009)

We present a new approach to dynamic mesh compression, which combines compression with simplification to achieve improved compression results, a natural support for incremental transmission and level of detail. The algorithm allows fast progressive transmission of dynamic 3D content. Our scheme exploits both temporal and spatial coherency of the input data, and is especially efficient for the case of highly detailed dynamic meshes. The algorithm can be seen as an ultimate extension of the clustering and local coordinate frame (LCF)-based approaches, where each vertex is expressed within its own specific coordinate system. The presented results show that we have achieved better compression efficiency compared to the state of the art methods. Copyright &copy; 2008 John Wiley & Sons, Ltd.
Research and Realization of Trusted Computing Platform Based on EFI
Authors: Weiwei Fang, Bingru Yang, Zheng Peng, ZhiGang Tang
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Trusted computing has become a new and challenging research issue in the field of information security. To further enhance the safety of BIOS, we construct a trusted computing platform based on Extensible Firmware Interface (EFI), the trust chain is transferred from the first stage of EFI to the operating system by applying TPM (Trusted Platform Module) and TSS (TCG Software Stack). We presented the principle mechanism of EFI and the realization framework of trusted computing platform, proposed the key technologies such as Chain of Trust, construction of TMP and TSS, validation of file integrity, and etc. Theoretic analysis demonstrated the effectiveness of this new trusted computing platform.
Designing User Interfaces for Smart-Applications for Operating Rooms and Intensive Care Units
Authors: Martin Christof Kindsmüller, Maral Haar, Hannes Schulz, Michael Herczeg
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

Today's physicians and nurses working in operating rooms and intensive care units have to deal with an ever increasing amount of data. More and more medical devices are delivering information, which has to be perceived and interpreted in regard to patient status and the necessity to adjust therapy. The combination of high information load and insufficient usability creates a severe challenge for the health personnel with respect to proper monitoring of these devices respective to acknowledging alarms and timely reaction to critical incidents. Smart Applications are a new kind of decision support systems that incorporate medical expertise in order to help health personnel in regard to diagnosis and therapy. By means of a User Centered Design process of two Smart Applications (anaesthesia monitor display, diagnosis display), we illustrate which approach should be followed and which processes and methods have been successfully applied in fostering the design of usable medical devices.
Integration of Contextual Information in Online Handwriting Representation
Authors: Sara Izadi, Ching Y. Suen
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

Robust handwriting recognition of complex patterns of arbitrary scale, orientation and location is yet elusive to date as reaching a good recognition rate is not trivial for most of the application developments in this field. Cursive scripts with complex character shapes, such as Arabic and Persian, make the recognition task even more challenging. This complexity requires sophisticated representations and learning methods, and comprehensive data samples. A direct approaches to achieve a better performance is focusing on designing more powerful building blocks of a handwriting recognition system which are pattern representation and pattern classification. In this paper we aim to scale up the efficiency of online recognition systems for Arabic characters by integrating novel representation techniques into efficient classification methods. We investigate the idea of incorporating two novel feature representations for online character data. We advocate the usefulness and practicality of these features in classification methods using neural networks and support vector machines. The combinations of proposed representations with related classifiers can offer a module for recognition tasks which can deal with any two-dimensional online pattern. Our empirical results confirm the higher distinctiveness and robustness to character deformations obtained by the proposed representation compared to currently available techniques.
Automatically Identifying Tag Types
Authors: Kerstin Bischoff, Claudiu S. Firan, Cristina Kadar, Wolfgang Nejdl, Raluca Paiu
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

Web 2.0 applications such as delicious, flickr or lastfm have recently become extremely popular and as a result, a large amount of semantically rich metadata produced by users becomes available and exploitable. Tag information can be used for many purposes (e.g. user profiling, recommendations, clustering etc), though the benefit of tags for search is by far the most discussed usage. Tag types differ largely across systems and previous studies showed that, while some tag type categories might be useful for some particular users when searching, they may not bring any benefit to others. The present paper proposes an approach which utilizes rule-based as well as model-based methods, in order to automatically identify exactly these different types of tags. We compare the automatic tag classification produced by our algorithms against a ground truth data set, consisting of manual tag type assignments produced by human raters. Experimental results show that our methods can identify tag types with high accuracy, thus enabling further improvement of systems making use of social tags.
Accurate Equivalent Beam Model of a Planar Compliant Mechanism with Elliptical Flexure Hinges
Authors: Zhaocheng Zhang, Hong Hu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

An accurate and efficient equivalent beam model(EBM) for a planar compliant mechanism with ellipticalflexure hinges is presented. First, based on 3D finite element analysis (FEA) for one-eighth of a single elliptical flexure hinge, a set of fictitious beams with identical stress and stiffness characteristics is derived. Then the static and dynamic performances of an eight-bar compliant mechanism with elliptical flexure hinges are studied based on the EBM and 2D FEA under either the plane stress or plane strain assumptions. Compared with the results of 2D FEA, the EBM has the advantages of high efficiency and good accuracy.
Note: A note on kernels and Sperner's Lemma
Authors: Tamás Király, Júlia Pap
Venue: Discrete Applied Mathematics (2009)

The kernel-solvability of perfect graphs was first proved by Boros and Gurvich, and later Aharoni and Holzman gave a shorter proof. Both proofs were based on Scarf's Lemma. In this note we show that a very simple proof can be given using a polyhedral version of Sperner's Lemma. In addition, we extend the Boros-Gurvich theorem to h-perfect graphs and to a more general setting.
Splitting a CR-Prolog Program
Authors: Marcello Balduccini
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is based on the introduction in A-Prolog of consistency-restoring rules (cr-rules for short), and allows an elegant formalization of events or exceptions that are unlikely, unusual, or undesired. The flexibility of the language has been extensively demonstrated in the literature, with examples that include planning and diagnostic reasoning. In this paper we hope to provide the technical means to further stimulate the study and use of CR-Prolog, by extending to CR-Prolog the Splitting Set Theorem, one of the most useful theoretical results available for A-Prolog. The availability of the Splitting Set Theorem for CR-Prolog is expected to simplify significantly the proofs of the properties of CR-Prolog programs.
RTG: a recursive realistic graph generator using random typing
Authors: Leman Akoglu, Christos Faloutsos
Venue: Data Mining and Knowledge Discovery (2009)

We propose a new, recursive model to generate realistic graphs, evolving over time. Our model has the following properties: it is (a) flexible, capable of generating the cross product of weighted/unweighted, directed/undirected, uni/bipartite graphs; (b) realistic, giving graphs that obey eleven static and dynamic laws that real graphs follow (we formally prove that for several of the (power) laws and we estimate their exponents as a function of the model parameters); (c) parsimonious, requiring only four parameters. (d) fast, being linear on the number of edges; (e) simple, intuitively leading to the generation of macroscopic patterns. We empirically show that our model mimics two real-world graphs very well: Blognet (unipartite, undirected, unweighted) with 27 K nodes and 125 K edges; and Committee-to-Candidate campaign donations (bipartite, directed, weighted) with 23 K nodes and 880 K edges. We also show how to handle time so that edge/weight additions are bursty and self-similar.
Site-it!: An Information Architecture Prototyping Tool
Authors: Atsushi Hasegawa
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

Site-it! is a simple, powerful and cheap prototyping tool for site structure and user experience flow. This tool is a set of sticky notes printed abstract appearance of web pages. It contains 7 types of templates that express most of web pages. IAs can use it for brainstorming and discussion with clients. By using this tool, you can focus on IA discussion and cultivate understandings of user experience in the sites with team members and clients.
Mechanical Innovation Ability Training for Undergraduates
Authors: Huang Guijian, Li Xuemei, Xu Gang, Li Jibin
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

Many aspects should be considered to train the undergraduates’ mechanical innovation design ability. In this paper, the ways of training university students’ mechanical innovation design ability are discussed as follows: The environment of training university students’ mechanical innovation design ability should be built by changing philosophy of teaching. The training programs which meet the requirement of mechanical engineering specialists and the characteristic classroom teaching mode should be worked out to construct new teaching system. The teaching management system and the experiment teaching methods should be reformed to construct new experiment teaching platform of mechanical foundation. Students are organized actively to take part in the nationwide mechanical innovation design competition and the ability of mechanical innovation design and engineering realization is promoted greatly.
A suite of shallow processing tools for Portuguese: LX-suite
Authors: António Branco, João Ricardo Silva
Venue: Proceedings of the Eleventh Conference of the European Chapter of the Association for Computational Linguistics: Posters & Demonstrations (2006)

In this paper we present LX-Suite, a set of tools for the shallow processing of Portuguese. This suite comprises several modules, namely: a sentence chunker, a tokenizer, a POS tagger, featurizers and lemmatizers.
Representations for Evolutionary Algorithms Applied to Protein Structure Prediction Problem Using HP Model
Authors: Paulo H. Gabriel, Alexandre C. Delbem
Venue: Proceedings of the 4th Brazilian Symposium on Bioinformatics: Advances in Bioinformatics and Computational Biology (2009)

Protein structure prediction (PSP) is a computational complex problem. To work with large proteins, simple protein models have been employed to represent the conformation, and evolutionary algorithms (EAs) are usually used to search for adequate solutions. However, the generation of unfeasible conformations may decrease the EA performance. For this reason, this paper presents two alternative representations that reduce the number of improper structures, improving the search process. Both representations have been investigated in terms of initial population in order to start the evolutionary process with promising regions. The results have shown a significant improvement in the fitness values (or, in other words, in solution quality).
Communication between the Sensor Levels for Monitoring Subjects with Disabilities
Authors: Mihaela Hnatiuc, Alexandru Caranica
Venue: Proceedings of the 2009 Advanced Technologies for Enhanced Quality of Life (2009)

The intelligent sensors used to detect the subject’s behavior are classified on priority levels, superior and inferior. The levels might work in parallel or not. Which level is used is decided by the system in function of that event. The communication modes between levels are presented in this paper. The parallel/distributed structure is introduced because the sensor levels work in parallel. Testing of an embedded system, used for a communication node between sensors and Microsystems is detailed in the final part of this paper.
E-Inclusiveness and Digital Television in Europe --- A Holistic Model
Authors: Peter Olaf Looms
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

This paper reviews the nature and size of the accessibility challenge and identifies pitfalls in the current strategies to promote e-inclusiveness. Using examples such as the DTV4ALL project which focuses on free-to-air broadcasting, the paper argues the case for working systematically with stakeholders associated with the entire access service supply chain to draw up and implement a continent-wide strategy to promote e-inclusiveness and digital television. 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