Computer and information sciences topic list of research papers
-
BioGraphE: high-performance bionetwork analysis using the Biological Graph Environment2008 / George Chin, Daniel G Chavarria, Grant C Nakamura, Heidi J Sofia
-
Wide-coverage relation extraction from MEDLINE using deep syntax2015 / Nhung TH Nguyen, Makoto Miwa, Yoshimasa Tsuruoka, Takashi Chikayama, Satoshi Tojo
-
Real-Time Recognition of Percussive Sounds by a Model-Based Method2010 / Umut Şimşekli, Antti Jylhä, Cumhur Erkut, A Cemgil
-
Is searching full text more effective than searching abstracts?2009 / Jimmy Lin
-
A study in facial regions saliency: a fuzzy measure approach2013 / Paweł Karczmarek, Witold Pedrycz, Marek Reformat, Elaheh Akhoundi
-
English Character Recognition Based on Feature Combination
Abstract In order to solve the polluted English character recognition problem with interference of external noise, a new approach based on feature combination and BP network is presented in this paper. By extracting the structural features and the...
2011 / Yang Yang, Xu Lijia, Cheng Chen -
The Study on Knowledge Management Performance Evaluation using Neural Network
Abstract The effective evaluation to the army knowledge management can enhance the army's level of battle effectiveness, and the level of army staff and the whole army's tacit knowledge. The practice has proved that it is feasible to evaluate the...
2011 / Hong Zhou -
Fast Motion Estimation Scheme for H.264/AVC Using Adaptive Single and Multiple Reference Picture Selections
Abstract In video coding standard of H.264/AVC, motion estimation (ME) using multiple reference pictures improves compression efficiency considerably. However, the motion estimation includes a large amount of useless computations regardless of...
2011 / Jeong-Su Oh, Dong-Wook Kim, Jin-Tae Kim -
A Kind of Cascade Anti-Jam Method for GPS Receiver
Abstract The anti-jam technique of GPS is researched in the paper, a cascade anti-jam method is proposed, and it eliminates narrowband interference (NBI) in transform domain, and suppress the residual interferences with array processing method which ...
2011 / Zhou Zhu, Zhang Er-yang, Lu Shu-jun -
Inferring hybrid transportation modes from sparse GPS data using a moving window SVM classification
Abstract Understanding travel behaviour and travel demand is of constant importance to transportation communities and agencies in every country. Nowadays, attempts have been made to automatically infer transportation modes from positional data, such ...
2012 / Adel Bolbol, Tao Cheng, Ioannis Tsapakis, James Haworth -
The three T's of the structure of online collaborative activities
Abstract This paper proposes to regard the structure of CSCL activities as an entity composed of the three independent dimensions: Time, Tasks and Teams. The paper analyses the collaborative processes activated by students during five different...
2010 / Donatella Persico, Francesca Pozzi -
READA: Redundancy Elimination for Accurate Data Aggregation in Wireless Sensor Networks2010 / Kavi Khedo, Rubeena Doomun, Sonum Aucharuz
-
Research on Scheduling Scheme for Hadoop Clusters
Abstract In this paper, we import a prefetching mechanism into MapReduce model while retaining compatibility with the native Hadoop. Given a data-intensive application running on a Hadoop MapReduce cluster, our approach estimates the execution time...
2013 / Jiong Xie, FanJun Meng, HaiLong Wang, HongFang Pan, JinHong Cheng, et al. -
Signal restoration via a splitting approach2012 / Bushra Jalil, Eric Fauvet, Olivier Laligant
-
The significant impact of a set of topologies on wireless sensor networks2012 / Lutful Karim, Tarek Salti, Nidal Nasser, Qusay H Mahmoud
-
A Name Abstraction Functor for Named Sets
Abstract The problem of defining fully abstract operational models of name passing calculi has been given some elegant solutions, such as coalgebras over presheaf categories or over nominal sets. These formalisms fail to model garbage collection of...
2008 / Vincenzo Ciancia, Ugo Montanari -
Under-approximation Heuristics for Grid-based Bounded Model Checking
Abstract In this paper, we consider the effect of BDD-based under-approximation on a hybrid approach using BDDs and SAT-BMC for error detection on a computing grid. We experimentally study effect of under-approximation approaches on a...
2006 / Subramanian Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson -
On the Contribution of a τ-simulation in the Incremental Modeling of Timed Systems
Abstract We are interested in the preservation of linear-time properties during incremental modeling of timed systems. We consider timed systems modeled by timed automata in a compositional framework. Their requirements are expressed by the logical...
2006 / Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot -
A Prolog-based Query Language for OWL
Abstract In this paper we investigate how to use logic programming (in particular, Prolog) as query language against OWL resources. Our query language will be able to retrieve data and meta-data about a given OWL based ontology. With this aim,...
2011 / Jesús M. Almendros-Jiménez -
Maximal Laziness
Abstract In lazy functional languages, any variable is evaluated at most once. This paper proposes the notion of maximal laziness, in which syntactically equal terms are evaluated at most once: if two terms ...
2009 / Eelco Dolstra