ppxscal/embedding_network huggingface dataset:
Checking Timed Büchi Automata Emptiness Using LU-Abstractions
Authors: Guangyuan Li
Venue: Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems (2009)

This paper shows that the zone-based LU-extrapolation of Behrmann et al, that preserves reachability of timed automata, also preserves emptiness of timed Büchi automata. This improves the previous results by Tripakis et al who showed that the k-extrapolation preserves timed Büchi automata emptiness. The LU-extrapolation is coarser than k-extrapolation, allowing better state space reductions. A tool with LU-extrapolation for emptiness checking of timed Büchi automata has been implemented, and some experiments are reported. 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
When Search Meets Web Usability, 1st edition
Authors: Shari Thurow, Nick Musica
Venue:  (2009)

This book delivers a proactive approach to building an effective Web site that is search engine friendly and will result in better search rankings. It outlines the steps needed to bridge the gap between a Google search and a Web site, and also improve the users' experience once they get to the site. By understanding the wide variety of information-seeking strategies and the individual behaviors associated with them, this book helps information architects, Web designers/developers, SEOs/SEMs, and usability professionals build better interfaces and functionality into Web sites. Creating a satisfying user experience is the key to maximizing search effectiveness and getting conversions.
SRCB-WSD: supervised Chinese word sense disambiguation with key features
Authors: Yun Xing
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

This article describes the implementation of Word Sense Disambiguation system that participated in the SemEval-2007 multilingual Chinese-English lexical sample task. We adopted a supervised learning approach with Maximum Entropy classifier. The features used were neighboring words and their part-of-speech, as well as single words in the context, and other syntactic features based on shallow parsing. In addition, we used word category information of a Chinese thesaurus as features for verb disambiguation. For the task we participated in, we obtained precision of 0.716 in micro-average, which is the best among all participated systems.
Interference mitigation in WiFi networks using multi-sector antennas
Authors: Henrik Lundgren, Anand Prabhu Subramanian, Theodoros Salonidis, Marianna Carrera, Pascal Le Guyadec
Venue: Proceedings of the 4th ACM international workshop on Experimental evaluation and characterization (2009)

Sectorized antennas provide an attractive solution to increase wireless network capacity through interference mitigation. Despite their increasing popularity, the real-world performance characteristics of such antennas in dense wireless mesh networks are not well understood. We demonstrate our multi-sector antenna prototypes and their performance through video streaming over an indoor wireless network in the presence of interfering nodes. We use our graphical tool to vary the sender, receiver, and interferer antenna configurations and the resulting performance is directly visible in the video quality displayed at the receiver.
Fundamental Study for Relationship between Cognitive Task and Brain Activity During Car Driving
Authors: Shunji Shimizu, Nobuhide Hirai, Fumikazu Miwakeichi, Senichiro Kikuchi, Yasuhito Yoshizawa, Masanao Sato, Hiroshi Murata, Eiju Watanabe, Satoshi Kato
Venue: Proceedings of the 8th International Conference on Engineering Psychology and Cognitive Ergonomics: Held as Part of HCI International 2009 (2009)

For a long period, many researches about the human spatial recognition are being carried on. They are needed to make robot and automatic driving system for a car or wheelchair and with functions as high as those of humans: spatial perception, decision-making, and determining direction. The final goal of our measuring brain activity research is to contribute to developing of welfare robots with functions that are responsive like human. In this paper, the hemoglobin density change of human frontal lobe is measured. First, to analyze human spatial perception, experiments using a driving movie were designed. In the experiments NIRS (Near Infrared Reflectance Spectroscopy) was used.
VeryVote: A Voter Verifiable Code Voting System
Authors: Rui Joaquim, Carlos Ribeiro, Paulo Ferreira
Venue: Proceedings of the 2nd International Conference on E-Voting and Identity (2009)

Code voting is a technique used to address the secure platform problem of remote voting. A code voting system consists in secretly sending, e.g. by mail, code sheets to voters that map their choices to entry codes in their ballot. While voting, the voter uses the code sheet to know what code to enter in order to vote for a particular candidate. In effect, the voter does the vote encryption and, since no malicious software on the PC has access to the code sheet it is not able to change the voter's intention. However, without compromising the voter's privacy, the vote codes are not enough to prove that the vote is recorded and counted as cast by the election server.We present a voter verifiable code voting solution which, without revealing the voter's vote, allows the voter to verify, at the end of the election, that her vote was cast and counted as intended by just performing the match of a few small strings. Moreover, w.r.t. a general code voting system, our solution comes with only a minor change in the voting interaction.
Near-eye displays - a look into the christmas ball
Authors: Rolf R. Hainich
Venue: Proceedings of the 7th IEEE/ACM International Symposium on Mixed and Augmented Reality (2008)

We first have a look at the development of AR in the recent 15 years and its current state. Given recent advances in computing and micro system technologies, it is hardly conceivable why AR technology should not finally be entering into mass market applications, the only way to amortize the development of such a complex technology. Nevertheless, achieving a ‘critical mass’ of working detail solutions for a complete product will still be a paramount effort, especially concerning hardware. Addressing this central issue, the current status of hardware technologies is reviewed, including micro systems, micro mechanics and special optics, the requirements and components needed for a complete system, and possible solutions providing successful applications that could catalyze the evolution towards full fledged, imperceptible, private near eye display and sensorial interface systems, allowing for the everyday use of virtual objects and devices greatly exceeding the capabilities of any physical archetypes.
Peer-to-Peer Architecture for Collaborative Intrusion and Malware Detection on a Large Scale
Authors: Mirco Marchetti, Michele Messori, Michele Colajanni
Venue: Proceedings of the 12th International Conference on Information Security (2009)

The complexity of modern network architectures and the epidemic diffusion of malware require collaborative approaches for defense. We present a novel distributed system where each component collaborates to the intrusion and malware detection and to the dissemination of the local analyses. The proposed architecture is based on a decentralized, peer-to-peer and sensor-agnostic design that addresses dependability and load unbalance issues affecting existing systems based on centralized and hierarchical schemes. Load balancing properties, ability to tolerate churn, self-organization capabilities and scalability are demonstrated through a prototype integrating different open source defensive software.
Fast and robust techniques for the euclidean p-median problem with uniform weights
Authors: G. J. Lim, J. Reese, A. Holder
Venue: Computers and Industrial Engineering (2009)

We discuss new solution techniques for the p-median problem, with the goal being to improve the solution time and quality of current techniques. In particular, we hybridize the discrete Lloyd algorithm and the vertex substitution heuristic. We also compare three starting point techniques and present a new solution method that provides consistently good results when appropriately initialized.
Automatic mobile menu customization based on user operation history
Authors: Yusuke Fukazawa, Mirai Hara, Masashi Onogi, Hidetoshi Ueno
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

Mobile devices are becoming more and more difficult to use due to the sheer number of functions now supported. In this paper, we propose a menu customization system that ranks functions so as to make interesting functions, both frequently used functions and rarely used functions, easy to access. Concretely, we define the features of phone functions by extracting keywords from the manufacturer's manual, and propose the method that ranks the functions based on user operation history by using Ranking SVM (Support Vector Machine). We conduct a home-use test for one week to evaluate the efficiency of customization and the usability of menu customization. The results show that the average rank of used functions on the last day of the test is half of that of first day and almost 70 % of the users are satisfied with the ranking provided by menu customization and the usability of menus. In addition, interviews show that automatic mobile menu customization is more appropriate for mobile phone beginner rather than the master users.
Towards a generation-based semantic web authoring tool
Authors: Richard Power
Venue: Proceedings of the 12th European Workshop on Natural Language Generation (2009)

Widespread use of Semantic Web technologies requires interfaces through which knowledge can be viewed and edited without deep understanding of Description Logic and formalisms like OWL and RDF. Several groups are pursuing approaches based on Controlled Natural Languages (CNLs), so that editing can be performed by typing in sentences which are automatically interpreted as statements in OWL. We suggest here a variant of this approach which relies entirely on Natural Language Generation (NLG), and propose requirements for a system that can reliably generate transparent realisations of statements in Description Logic.
Location-Triggered Code Execution --- Dismissing Displays and Keypads for Mobile Interaction
Authors: Wolfgang Narzt, Heinrich Schmitzberger
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

Spatially controlled electronic actions (e.g. opening gates, buying tickets, starting or stopping engines, etc.) require human attentiveness by conventional interaction metaphors via display and/or keystroke at the place of event. However, attentiveness for pressing a button or glimpsing at a display may occasionally be unavailable when the involved person must not be distracted from performing a task or is handicapped through wearable limitations (e.g. gloves, protective clothing) or disability. To automatically trigger those actions just at spatial proximity of a person, i.e. dismissing displays and keypads for launching the execution of electronic code in order to ease human computer interaction by innovative mobile computing paradigms is the main research focus of this paper.
CNP: A Protocol for Reducing Maintenance Cost of Structured P2P
Authors: Yu Zhang, Yuanda Cao, Baodong Cheng
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part II (2009)

With highly dynamic, structured P2P system needs very high maintenance cost. In this paper we propose a Clone Node Protocol to reduce the maintenance cost of structured P2P system by a mechanism of clone nodes. In order to verify the efficiency of CNP, we achieve a Clone Node Chord structure based on CNP, i.e. CNChord. Furthermore, we implement a bidirectional CNChord (BCNChord) in order to reduce query time of CNChord. Theoretical analysis and experimental results show that CNChord can greatly reduce the cost of maintaining P2P structure and BCNChord can effectively improve the query speed. In a word, CNP can effectively reduce the maintenance cost of structured P2P.
A theoretical analysis together with experimental data of inhomogeneous Schottky barrier diodes
Authors: Nezir Yıldırım, Abdulmecit Türüt
Venue: Microelectronic Engineering (2009)

We have shown that the current at lower temperatures may exceed the current at higher temperatures using the approximation of the apparent BH in the inhomogeneous SDs, as determined by some authors in the literature. Then, in the simulated forward I-V curves of non-interactive inhomogeneous SDs using the approximation of the apparent BH, it has been showed that the current at lower temperatures does not exceed the current at higher temperatures when considering the bias voltage dependence of apparent BH. In the calculations, the parameters from the experimental forward bias I-V characteristics, in the temperature range of 60-300K, of the Ni/n-GaAs Schottky contacts with the inhomogeneous BH have been used by means of the thermionic emission theory of inhomogeneous Schottky contacts, considering a Gaussian distribution of barrier heights with a linear bias dependence.
An Integrated Approach for Creating Service-Based Interactive Applications
Authors: Marius Feldmann, Jordan Janeiro, Tobias Nestler, Gerald Hübsch, Uwe Jugel, André Preussner, Alexander Schill
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

While the implementation of business logic and business processes based on service-oriented architectures is well-understood and covered by existing development approaches, integrated concepts that empower users to exploit the Internet of Services to create complex interactive applications are missing. In this paper, we present an integrated approach that fills this gap. Our approach builds upon service annotations that add meta-information related to user interface generation, service dependencies, and service composition to existing service descriptions. Services can be composed visually to complex interactive applications based on these annotations without the need to write any code. The application code is generated completely from the service composition description. Our approach is able to support heterogeneous target environments ranging from client/server architectures to mobile platforms.
On the feasibility of bandwidth estimation in 1x EVDO networks
Authors: Dimitrios Koutsonikolas, Y. Charlie Hu
Venue: Proceedings of the 1st ACM workshop on Mobile internet through cellular networks (2009)

The problem of fast bandwidth estimation has been extensively studied in the wired Internet and recently, in 802.11 wireless networks; however, no tool has been reported so far in the literature for cellular networks. Although cellular networks share some common characteristics with 802.11 WLANs, they also have many differences which make it unclear whether tools developed for 802.11 WLANs can also be used in cellular networks. This paper presents the first study of the feasibility of fast bandwidth estimation in 3G networks. We studied the applicability of a state-of-the-art probe-based tool for 802.11 WLANs on a commercial 1x EVDO network. Our results show that bandwidth estimation using a probe-based tool is very difficult in EVDO networks, due to the short-scale dynamics in this type of networks.
A Robust Approach of Lane Detection Based on Machine Vision
Authors: Bing Yu, Weigong Zhang
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

The lane detection is a key component of the intelligent transportation systems (ITS). We present a robust approach of lane detection based on machine vision. First, we present the lane model and region of interest (ROI) of the road image. Then, we propose the edge detection approach of the road image based on gray value grade. After that, we illustrate how to remove the interference points in the previous processed image; meanwhile, we describe how to gather the valid points. At last, we employ the coarse Hough transform to estimate the parameter values of the lanes. We present how to use Kalman filter to refine the estimation results. The field tests are carried on a local high-way and the experimental results show that the suggested approach is very reliable.
Functional neuroanatomy of contextual acquisition of concrete and abstract words
Authors: Anna Mestres-Missé, Thomas F. Münte, Antoni Rodriguez-Fornells
Venue: Journal of Cognitive Neuroscience (2009)

The meaning of a novel word can be acquired by extracting it from linguistic context. Here we simulated word learning of new words associated to concrete and abstract concepts in a variant of the human simulation paradigm that provided linguistic context information in order to characterize the brain systems involved. Native speakers of Spanish read pairs of sentences in order to derive the meaning of a new word that appeared in the terminal position of the sentences. fMRI revealed that learning the meaning associated to concrete and abstract new words was qualitatively different and recruited similar brain regions as the processing of real concrete and abstract words. In particular, learning of new concrete words selectively boosted the activation of the ventral anterior fusiform gyrus, a region driven by imageability, which has previously been implicated in the processing of concrete words.
An electronic tree inventory for arboriculture management
Authors: Roger J. Tait, Tony J. Allen, Nasser Sherkat, Marcus D. Bellett-Travers
Venue: Knowledge-Based Systems (2009)

The integration of Global Positioning System (GPS) technology into mobile devices provides them with an awareness of their physical location. This geospatial context can be employed in a wide range of applications including locating nearby places of interest as well as guiding emergency services to incidents. In this research, a GPS-enabled Personal Digital Assistant (PDA) is used to create a computerised tree inventory for the management of arboriculture. Using the General Packet Radio Service (GPRS), GPS information and arboreal image data are sent to a web-server. An office-based PC running customised Geographical Information Software (GIS) then automatically retrieves the GPS tagged image data for display and analysis purposes. The resulting application allows an expert user to view the condition of individual trees in greater detail than is possible using remotely sensed imagery.
A Touch Screen Button Size and Spacing Study with Older Adults
Authors: Maria Lavictoire, Nick Everhart
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)

In 2003 Boston Scientific was planning the release of a touch screen-based in-home monitor for patients with Boston Scientific Implanted Cardioverter Defibrillators (ICD). The demographic of these patients is heavily weighted towards older populations. The research, recommendations, and guidelines at that time were largely based on young healthy users. Hence, a need existed to determine acceptable button size and spacing for aged populations.
Modeling of Social Transitions Using Intelligent Systems
Authors: Hamed O. Ghaffari, Witold Pedrycz
Venue: Proceedings of the 2008 First International Conference on Complexity and Intelligence of the Artificial and Natural Complex Systems. Medical Applications of the Complex Systems. Biomedical Computing (2008)

In this study, we reproduce two new hybrid intelligent systems, involve three prominent intelligent computing and approximate reasoning methods: Self Organizing feature Map (SOM), Neruo-Fuzzy Inference System and Rough Set Theory (RST), called SONFIS and SORST. We show how our algorithms can be construed as a linkage of government-society (or any other similar systems) interactions, where government catches various states of behaviors: “solid (absolute) or flexible”. So, transition of society, by changing of connectivity parameters (noise) from order to disorder is inferred.
Usability Maturity: A Case Study in Planning and Designing an Enterprise Application Suite
Authors: Jeremy Ashley, Kristin Desmond
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

Although user experience professionals look to the user-centered design process (UCD) as the overarching set of principles for the research, design, and testing of usable products that meet customer needs, the application of these principles varies significantly depending on the type and scale of design challenges to be solved and the level of usability maturity that a company practices. This paper describes a case study of how one organization went from a Usability Maturity Model level of Implemented to a level of Integrated while it worked through a design cycle for a large enterprise application suite. This paper also discusses lessons learned along the way.
Adaptive supervision of moving objects for mobile robotics applications
Authors: Norman Weiss
Venue: Robotics and Autonomous Systems (2009)

One of the main tasks of mobile robotics is vision. Lighting independence, adaptivity and automated learning are still the main issues when it comes to applications. In this article, we present an image understanding system and its methods targeting automatic, lighting-independent and reliable color-based object recognition under real time conditions. Its application test bed is global vision robot soccer (i.e. FIRA MiroSot und RoboCup Small Size leagues) but it has many other applications in color-based supervision of moving objects. Under typical conditions, it learns the objects of recognition automatically, has zero setup time and tolerates environmental changes during run-time.
An Artificial Intelligent Analysis Method in Reservoir Development during High Water Cut Stage
Authors: Wang Changjiang, Jiang Hanqiao, Lian Limin
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

High water and low oil production has been one of the major features of high water cut stage reservoir. In order to find a practical scheme to develop this kind of reservoir, an artificial intelligent analysis method by using statistical learning and clustering theory to evaluate and recombine rhythmite formations. The evaluating model was constructed by selecting appropriate indexes including permeability, variation coefficient of permeability, storage ability, moving ability, remaining recoverable reserves, oil mobility, water mobility and coefficient of flooding. The model can carry out intelligent analysis to some extent by taking advantage of its special merit of searching inner optimization. Therefore, it can find some valuable information from huge superficial data which is beyond people’s analysis abilities. This action makes the result more pragmatic and valuable. Finally, application of the novel model on Z block in SL oilfield has been provided.