Computer and information sciences topic list of research papers
-
Linear Chromatic Adaptation Transform Based on Delaunay Triangulation2014 / Rok Kreslin, Pilar M. Calvo, Luis G. Corzo, Peter Peer
-
Research on Arrival/Departure Scheduling of Flights on Multirunways Based on Genetic Algorithm2014 / Hang Zhou, Xinxin Jiang
-
Enumerating tree-like chemical graphs with given upper and lower bounds on path frequencies2011 / Masaaki Shimizu, Hiroshi Nagamochi, Tatsuya Akutsu
-
Spectral efficient IR-UWB communication design for low complexity transceivers2014 / Vijaya Yajnanarayana, Satyam Dwivedi, Alessio Angelis, Peter Händel
-
Target Classification Based on a Combination of Possibility and Probability likelihood in the Bayesian Framework
Abstract The problem of target classification is addressed in the Bayesian framework as an interpretation of the likelihood of Bayes’ theorem as a possibility. A better explanation and definition based on this perspective, as opposed to the...
2012 / Wei Meia, Ying Xiao, Gang Wang -
Advances in Ambiguity Detection Methods for Formal Grammars
Abstract In the area of computer science and others grammars play a vital role from both theoretical and practical points of view. The application areas of formal grammars is increasing day by day in various areas such as patter recognition, machine ...
2011 / Hari Mohan Pandey -
Creating a medical dictionary using word alignment: The influence of sources and resources2007 / Mikael Nyström, Magnus Merkel, Håkan Petersson, Hans Åhlfeldt
-
Social network integration and analysis using a generalization and probabilistic approach for privacy preservation2012 / Xuning Tang, Christopher C Yang
-
Restricted maximum likelihood estimation for animal models using derivatives of the likelihood2009 / K Meyer, SP Smith
-
An Adaptive and Distributed Collision-Free MAC Protocol for Wireless Personal Area Networks
Abstract While IEEE 802.15.4 protocol is being considered as a promising technology for WPANs (Wireless Personal Area Networks), several issues are still open. In particular, how to construct a mesh topology and how the router/coordinator can save...
2011 / Juan Lu, Adrien Van Den Bossche, Eric Campo -
Exploring Ancient Landscapes Under Lake Huron Using Cultural Algorithms
Abstract The L-CAPS system is a functional interface for learning group behavior using Cultural Algorithms in the land bridge simulation example. It enables the Cultural Algorithms process to implicitly communicate with, modify and evaluate,...
2011 / Kevin Vitale, Robert Reynolds, John O'Shea, Guy Meadows -
A Scoring Method for Second Language Writing Based on Word Alignment
Abstract Automatic evaluation reduces the burden on second language (L2) teachers when checking for errors made by L2 learners. One evaluation approach is to automatically classify L2 learner sentences into either natural or unnatural sentences....
2011 / Katsunori Kotani, Takehiko Yoshimi -
Utilizing Wikipedia in Categorizing Topic Related Blogs into Facets
Abstract Given a search query, most existing search engines simply return a ranked list of search results. However, it is often the case that those search result documents consist of a mixture of documents that are closely related to various sub-...
2011 / Daisuke Yokomoto, Kensaku Makita, Takehito Utsuro, Yasuhide Kawada, Tomohiro Fukuhara -
The Research of Image Quality Assessment Methods
Abstract In digital transmission, images may undergo quality degradation due to lossy compression and error-prone channels. Efficient measurement tools are needed to quantify induced distortions and to predict their impact on perceived quality. In...
2012 / Xiaonan Cui, Zhiyuan Shi, Jianan Lin, Lianfen Huang -
Performance evaluation of automated approaches to building detection in multi-source aerial data
Abstract Automated approaches to building detection in multi-source aerial data are important in many applications, including map updating, city modeling, urban growth analysis and monitoring of informal settlements. This paper presents a...
2009 / Kourosh Khoshelham, Carla Nardinocchi, Emanuele Frontoni, Adriano Mancini, Primo Zingaretti -
Operator Algebras and the Operational Semantics of Probabilistic Languages
Abstract We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transition relations, corresponding to finite automata, can easily...
2006 / Alessandra Di Pierro, Herbert Wiklicky -
From Focalization of Logic to the Logic of Focalization
Abstract Andreoli originally discovered focalization as a concrete proof search strategy in proof theory of linear logic, putting to the foreground the role of polarity in logic. The aim of the present paper is to give a more...
2010 / Michele Basaldella, Alexis Saurin, Kazushige Terui -
Recursive Program Schemes and Context-Free Monads
Abstract Solutions of recursive program schemes over a given signature Σ were characterized by Bruno Courcelle as precisely the context-free (or algebraic) Σ-trees. These are the finite and infinite Σ-trees yielding, via labelling of paths,...
2010 / Jiří Adámek, Stefan Milius, Jiří Velebil -
On Term Graphs as an Adhesive Category
Abstract The recent interest in bisimulation congruences for reduction systems, stimulated by the research on general (often graphical) frameworks for nominal calculi, has brought forward many proposals for categorical formalisms where relevant...
2005 / Andrea Corradini, Fabio Gadducci -
Expressiveness Issues in Brane Calculi: A Survey
Abstract Brane calculi are a family of biologically inspired process calculi proposed in [L. Cardelli. Brane Calculi - Interactions of biological membranes. In Proc. Computational Methods in System Biology 2004 (CMSB 2004), LNCS 3082, Springer,...
2008 / Nadia Busi