Computer and information sciences topic list of research papers
-
No-Longer-Foreign: Teaching an ML compiler to speak C “natively”
Abstract We present a new foreign-function interface for SML/NJ. It is based on the idea of data-level interoperability—the ability of ML programs to inspect as well as manipulate C data structures directly. The core component of...
2005 / Matthias Blume -
Linearity and Passivity
Abstract A simple symmetric logic is proposed which captures both the notions of Linearity and of Passivity (Syntactic Control of Interference). Both of these systems of logic can be seen as providing varying constraints on the use ...
2004 / David A. Wright -
Sequential and Distributed Model Checking of Petri Net Specifications
Abstract In this paper we present algorithms for model checking CTL over systems specified as Petri nets. We present sequential as well as distributed model checking algorithms. The algorithms rely on an explicit representation of the system state...
2005 / Alexander Bell, Boudewijn R. Haverkort -
Automated vocabulary discovery for geo-parsing online epidemic intelligence2009 / Mikaela Keller, Clark C Freifeld, John S Brownstein
-
A novel R-package graphic user interface for the analysis of metabonomic profiles2009 / Jose L Izquierdo-García, Ignacio Rodríguez, Angelos Kyriazis, Palmira Villa, Pilar Barreiro, et al.
-
Neural network-based clustering for agriculture2012 / Kadim Tasdemir, Csaba Wirnhardt
-
Timing Acquisition with Noisy Template for Ultra-Wideband Communications in Dense Multipath2005 / Zhi Tian, Lin Wu
-
Dendriform Branch Cut Algorithm Based on Minimum Spanning Tree for Phase Unwrapping
Abstract Two-dimensional (2D) phase unwrapping is a key data-processing step of interferometric synthetic aperture radar (InSAR). After analyzing the classical branch cut algorithm, the method of first-child, next-sibling is adopted to express the...
2012 / Zhang Sen, Zhong Heping, Tang Jinsong -
Coverage prediction and optimization algorithms for indoor environments2012 / David Plets, Wout Joseph, Kris Vanhecke, Emmeric Tanghe, Luc Martens
-
Multimedia Event Detection Using Segment-Based Approach for Motion Feature2013 / Sang Phan, Thanh Duc Ngo, Vu Lam, Son Tran, Duy-Dinh Le, et al.
-
Oral reporting of affective pictures related to viewing distance
Abstract The goal of the experiment was to expose changes in viewing distance while evaluating and reporting 48 affective (IAPS) pictures. The experiment consisted of 25 female students. Pictures appeared on the screen for 20 secs in random order....
2010 / Seppo J. Laukka, Antti Rantanen, Tea Juntunen, Anna-Kaisa Rinkinen -
Biometric Methods for Secure Communications in Body Sensor Networks: Resource-Efficient Key Management and Signal-Level Data Scrambling2008 / Francis Minhthang Bui, Dimitrios Hatzinakos
-
Using Reputation Management in Participatory Sensing for Data Classification
Abstract Participatory sensing enables collection, processing, dissemination and analysis of environmental sensory data by ordinary citizens, through mobile devices. Researchers have recognized the potential of participatory sensing and attempted...
2011 / HaoFan Yang, Jinglan Zhang, Paul Roe -
Feature Selection for Multiclass Problems Based on Information Weights
Abstract Before a pattern classifier can be properly designed, it is necessary to consider the feature extraction and data reduction problems. It is evident that the number of features needed to successfully perform a given recognition task depends...
2011 / George Georgiev, Iren Valova, Natacha Gueorguieva -
Visual Analysis of SOM Network in Fault Diagnosis
Abstract SOM network (self-organizing feature map neural network) learning with no instructors which has self-adaptive, self-learning features. The advantage is to maintain the topology of original data. It is in extensive application in the field...
2011 / Ren Ji-Hong, Chen Jiang-Cheng, Wang Nan -
The Research of Mobile GIS Power Distribution Line Inspection Based on Mobile SVG/J2ME
Abstract To deal with the contradiction between the line inspection business requirements for processing massive map data and the limitations which the line inspection mobile terminals have in processing performance, memory and storage capacity...
2012 / Qiang Zhao, Fengxia Deng, Wenbin Zhang, Xuan Zeng -
Algorithm Design on Network Game of Chinese Chess
Abstract This paper describes the current situation of domestic network game. Contact the present condition of the local network game currently, we inquired to face to a multithread tcp client and server, such as Chinese chess, according to the...
2012 / Fang Xianmei -
Text Normalization in Social Media: Progress, Problems and Applications for a Pre-Processing System of Casual English
Abstract The rapid expansion in user-generated content on the Web of the 2000s, characterized by social media, has led to Web content featuring somewhat less standardized language than the Web of the 1990s. User creativity and individuality of...
2011 / Eleanor Clark, Kenji Araki -
The Study on the Communication Network of Wide Area Measurement System in Electricity Grid
Abstract Wide area measurement system(WAMS) is a fundamental part of security defense in Smart Grid, and the communication system of WAMS is an important part of Electric power communication network. For a large regional network is concerned, the...
2012 / Cheng Xiaorong, Wang Ying, Ni Yangdan -
A Quantitative Study of Two Attacks
Abstract We use a special operational semantics which helps us in predicting quantitative measures on systems describing cryptographic protocols: We also consider a possible attacker. The transitions of the system carry enhanced labels. We assign...
2005 / Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami