CiteSeerX Scientific Literature Digital Library and Search Engine
(1.354.930 recursos)
CiteSeerX is a scientific literature digital library and search engine that focuses primarily on the literature in computer and information science. CiteSeerx aims to improve the dissemination of scientific literature and to provide improvements in functionality, usability, availability, cost, comprehensiveness, efficiency, and timeliness in the access of scientific and scholarly knowledge
Mostrando recursos 1 - 20 de 1.356.129
1.
Service Discovery in Ad Hoc Networks
Abstract — Service advertisement and discovery is an important component for ad hoc communications and collaboration in ubiquitous computing environments. However, the nature of ad hoc networks pose additional problems – caused by highly dynamic network topology and nodes ’ limited power sources-compared to wireless networks with infrastructure, even if the infrastructure is just services that stay continuously available most of the time, like a network printer. Service discovery protocols have been designed specifically for ad hoc networks, e.g. JESA, DEAPspace, and Konark, but they also fail to solve all the problems. Index Terms—ad hoc networks, service discovery, ubiquitous computing...
2.
Automating Dual Boot (Linux and NT) Installations - Rajeev Agrawala; Rob Fulmer; Shaun Erickson
This paper presents a solution for automating dual boot Linux and Windows NT 4.0 installations on a PC. The process is automated to the extent that one starts with a PC with a blank hard disk and ends up with a fully customized dual-boot PC. The process involves booting a PC with a floppy disk; choosing what kin of system is required from a menu and then, once the install begins, popping out the disk. The unattended PC goes through installing and customizing the Linux installation. It then automatically boots into DOS and installs Windows NT 4.0. The whole process...
3.
PRISM: A tool for automatic verification of probabilistic systems - Andrew Hinton; Marta Kwiatkowska; Gethin Norman; David Parker
Abstract. Probabilistic model checking is an automatic formal verification technique for analysing quantitative properties of systems which exhibit stochastic behaviour. PRISM is a probabilistic model checking tool which has already been successfully deployed in a wide range of application domains, from real-time communication protocols to biological signalling pathways. The tool has recently undergone a significant amount of development. Major additions include facilities to manually explore models, Monte-Carlo discrete-event simulation techniques for approximate model analysis (including support for distributed simulation) and the ability to compute cost- and reward-based measures, e.g. “the expected energy consumption of the system before the first failure...
4.
On algorithms for ordinary least squares regression spline fitting: A comparative study - Thomas C. M. Lee
Regression spline smoothing is a popular approach for conducting nonparametric regression. An important issue associated with it is the choice of a ‘‘theoretically best’ ’ set of knots. Different statistical model selection methods, such as Akaike’s information criterion and generalized cross-validation, have been applied to derive different ‘‘theoretically best’ ’ sets of knots. Typically these best knot sets are defined implicitly as the optimizers of some objective functions. Hence another equally important issue concerning regression spline smoothing is how to optimize such objective functions. In this article different numerical algorithms that are designed for carrying out such optimization problems are...
5.
Adhésions, Liens avec les adhérents - Michèle Sebag; Jérôme Euzenat; Jean-paul Baquiast; Jacques Blanc-talon; Gilles Bisson; Laurent Candillier; Alain Cardon; Amal El Fallah; Jérôme Euzenat; Olivier Francois; Emmanuel Guere; Jérémie Mary
Présentation du bulletin Le Bulletin de l'Association Française pour l'Intelligence Artificielle vise à fournir un cadre de discussion et d'échanges au sein de la communauté universitaire et industrielle. Ainsi, toutes les contributions, pour peu qu'elles aient un intérêt général pour l'ensemble des lecteurs, sont les bienvenues. En particulier, les annonces, les comptes rendus de conférences, les notes de lecture et les articles de débat sont très recherchés. Le Bulletin de l'AFIA publie également des dossiers plus substantiels sur différents thèmes liés à l'IA. Le comité de rédaction se réserve le droit de ne pas publier des contributions qu'il jugerait contraire...
6.
752 Singing Voice Detection for Karaoke Application - Arun Shenoy; Yuansheng Wu; Ye Wang
We present a framework to detect the regions of singing voice in musical audio signals. This work is oriented towards the development of a robust transcriber of lyrics for karaoke applications. The technique leverages on a combination of low-level audio features and higher level musical knowledge of rhythm and tonality. Musical knowledge of the key is used to create a song-specific filterbank to attenuate the presence of the pitched musical instruments. This is followed by subband processing of the audio to detect the musical octaves in which the vocals are present. Text processing is employed to approximate the duration of...
7.
on sugarcane in Martinique (French West Indies) - Patrice Cadet (*o; Jean Thioulouse; Alain Albrecht; P. Cadet; J. Thioulouse; A. Albrecht
ReIationships between ferrisol properties and the structure of plant parasitic nematode commmties
8.
Force Reflection and Manipulation for a VR-based - Telerobotic System
Teleoperation technologies have been applied in hazardous or uncertain environments, such as nuclear plants, outer space, or deep oceans, and also to highly automated systems that are not necessarily hazardous but which demand
9.
A Framework for Model Checking Institutions - Francesco Viganò
Abstract. To increase positive expectations in the outcome of open multiagent systems, institutions have been put forward to regulate agents ’ behaviour. To model and to verify such institutions, we propose to adopt the notion of status function, which provides for a unified approach to ontological and deontic aspects regulated by an institution. Also, to enhance the development of functional and rational institutions, we propose a language amenable to model checking to describe them and their properties. Finally, we present our tool and an evaluation of our approach. 1
10.
Abstract: DOES BCGA SIMPLE CROSSOVER HASTEN RCGA
Real Coded Genetic Algorithm is the type of GA which operates on chromosomes with real valued parameters. Different mutation and crossover operations are defined for RCGA. One usable crossover for this kind of GA is to consider its chromosomes simply as bit strings and utilize same operations as Binary Coded GA. In this paper we attempt to show that this kind of crossover can not hasten the convergence process unless the break points are the boundaries of parameters in the chromosome.
13.
Trust Attributes, Methods, and Uses - Gabriel Becerra; Jason Heard; Rob Kremer; Jörg Denzinger; Multiagent Systems
In the literature, several different definitions of trust and models have been presented to aid researchers as they apply the concepts of trust within their systems. The multiplicity of trust definitions creates a high level of ambiguity. This paper takes a step away from models of trust and attempts to define and categorize several attributes, methods of discovery, and methods of evaluation that can be used to describe and discuss trust and trust models. This research leads to a vocabulary that enables researchers to communicate and compare investigations on trust more easily. To show how the terminology can be useful...
15.
A Model-Based Methodology for Real-Time Verification and Optimization of UHF RFID Systems - Vojtech Derbek; Christian Steger; Reinhold Weiss
Abstract — (1) Nowadays, UHF RFID performance gains on increased importance as tags, readers, protocols and applications are addressed no longer as separated devices, but rather as a system. Resources of transponders are limited in size and available power, which is retrieved from the electric field generated by interrogator’s antenna. This power is restricted by national regulations. As UHF RFID systems have found their major application in highly inhomogeneous field environments of logistic processes, operating setups have critical influence on the performance of the system. This work proposes a methodology for optimization and real-time verification of UHF RFID systems. The...
17.
Media Education Centre - Katja Karevaara
From educational usability to context-specific teachability Development and use of the network-based teaching material contents in higher engineering education
18.
BIOINFORMATICS ORIGINAL PAPER - Naoaki Okazaki; Sophia Ananiadou
Data and text mining Vol. 22 no. 24 2006, pages 3089–3095 doi:10.1093/bioinformatics/btl534 Building an abbreviation dictionary using a term recognition approach
19.
1. Overview
Findability on enterprise intranets has become an increasingly critical issue with the growth in both size and complexity of these information environments. To date, most solutions have focused on the construction of rich, domain-specific taxonomies and the development of sophisticated full-text search algorithms. The bottom-up distributed classification – collaborative “tagging ” – systems that have emerged from popular web sites such as del.icio.us and flickr.com present a novel approach. These applications explicitly leverage user participation and social network effects to create intriguing semantic spaces. In this project, we investigated some of the issues of introducing a collaborative bookmarking system into...
20.
Identification of Performance Characteristics from Multi-view Trace Analysis - Daniel Spooner; Darren Kerbyson
Abstract. In this paper, we introduce an instrumentation and visualisation tool that can be used to assist in analytical performance model generation. It is intended to provide a means of focusing the interest of the performance specialist, rather than automating the entire formulation process. The key motivation for this work was that while analytical models provide a firm basis for conducting performance studies, they can be time-consuming to generate for large, complex applications. The tool described in this paper allows trace files from different runs of an application to be compared and contrasted in order to determine the relative performance...
1.
