Computer and information sciences topic list of research papers
-
Resource efficient connectivity restoration algorithm for mobile sensor/actor networks2012 / Muhammad Imran, Mohamed Younis, Noman Haider, Mohamed A Alnuem
-
An empirical comparison of real-time dense stereo approaches for use in the automotive environment2012 / Filip Mroz, Toby P Breckon
-
Performance of Scheduling Policies in Adversarial Networks with Non-synchronized Clocks2009 / Antonio Fernández Anta, José Luis López-Presa, M. Araceli Lorenzo, Pilar Manzano, Juan Martinez-Romo, et al.
-
Automatically correcting adverb placement errors in the writings of French users of English
Abstract This paper presents part of a project for designing automatic correction strategies for the complex syntactic errors found in the writings of French users of English. We focus on adverb placement errors as a first step: analysis shows that...
2012 / Marie Garnier -
DisBlue+: A distributed annotation-based C# compiler
Abstract Many programming languages utilize annotations to add useful information to the program but they still result in more tokens to be compiled and hence slower compilation time. Any current distributed compiler breaks the program into...
2010 / Samir E. AbdelRahman, Amr M. AbdelLatif -
Self-similarity and stationarity of increments in VBR video
Abstract As self-similarity trail is being detected in many types of traffic, and the Markovian models failing to represent some statistical behaviors, the tools being used for traffic testing are still complex. Our study here is related to VBR...
2011 / Nasser-Eddine Rikli -
Social Networks and Web-based Serious Games as Novel Educational Tools
Abstract This paper presents the concept and the work in progress of SONNA, a research project aiming to analyze the impact of social networks, web 2.0 and interactive multimedia as tools for learning. The overall architecture, the technical details ...
2012 / M. Carrozzino, C. Evangelista, R. Brondi, C. Lorenzini, M. Bergamasco -
Agent-based modeling in urban and architectural research: A brief literature review
Abstract Agent-based modeling (ABM) is an emerging modeling approach. In the past two decades, agent-based models have been increasingly adapted by social scientists, especially scientists in urban and geospatial studies, as an effective paradigm...
2012 / Liang Chen -
The Case for Smartphones as an Urgent Computing Client Platform
Abstract The computing world is now populated with smartphones which combine the features of a phone with a general purpose computer and come loaded with sensors including digital cameras, global positioning system (GPS) receivers, accelerometers...
2012 / Nicholas Palmer, Roelof Kemp, Thilo Kielmann, Henri Bal -
Extracting a DPLL Algorithm
Abstract We formalize a completeness proof for the DPLL proof system and extract a DPLL SAT solver from it. When applied to a propositional formula in conjunctive normal form the program produces either a satisfying assignment or a DPLL derivation...
2012 / Andrew Lawrence, Ulrich Berger, Monika Seisenberger -
Medical Ontology in the Dynamic Healthcare Environment
Abstract Advances in medical care and computer technology in recent decades have expanded the parameters of the traditional domain of medical services. This scenario has created new opportunities for building applications to provide enterprise...
2012 / Furkh Zeshan, Radziah Mohamad -
Information Systems Challenges for through-life Engineering
Abstract Information technologies hold great promise in achieving reduction in through-life support costs for long-lived complex artefacts such as aircraft and ships, and may allow very much improved assessment of asset condition, but in order for...
2013 / Chris McMahon, Alex Ball -
Performance Study of Workflow Patterns-Based Web Service Composition
Abstract Web services are currently used by organizations to share their knowledge over the network and facilitate business to-business collaboration. However, combining Web services to satisfy user requests is a complex process. Workflow patterns...
2012 / W. Ait-Cheik-Bihi, A. Nait-Sidi-Moh, M. Bakhouya, J. Gaber, M. Wack -
Markov Chain Simulation with Fewer Random Samples
Abstract We propose an accelerated CTMC simulation method that is exact in the sense that it produces all of the transitions involved. We call our method Trajectory Sampling Simulation as it samples from the distribution of state sequences and the...
2013 / Dimitrios Milios, Stephen Gilmore -
The Idea of Knowledge Supplementation and Explanation Using Neural Networks to Support Decisions in Construction Engineering
Abstract The article presents the problem of knowledge in knowledge-based systems, such as advisory systems used in construction engineering. The unique characteristics of construction engineering translate directly into unique characteristics of...
2013 / Marcin Gajzler -
Effects of Text Structure on the Iranian Students’ Reading Comprehension Performance
Abstract It is a common practice in reading for academic purposes, to use expository text structure as reading materials. Scholars usually use different text structures such as; compare/contrast, cause/effect, problem/solution and a collection of...
2013 / Fatemeh Amiri, Zaidah Zainal, Adlina Abdul Samad -
Dynamic Distribution of Workload between CPU and GPU for a Parallel Conjugate Gradient Method in an Adaptive FEM
Abstract The parallel preconditioned conjugate gradient method (CGM) is often used in adaptive FEMs and has a critical impact on the performance. This article proposes a method for dynamically balancing the computational load of this CGM between CPU ...
2013 / Jens Lang, Gudula Rünger -
Using Machine Learning in Order to Improve Automatic SIMD Instruction Generation
Abstract Basic block vectorization consists in extracting instruction level parallelism inside basic blocks in order to generate SIMD instructions and thus speedup data processing. It is however a double-edged technique, because the vectorized...
2013 / Antoine Trouvé, Arnaldo Cruz, Hiroki Fukuyama, Jun Maki, Hadrien Clarke, et al. -
The Ackermann approach for modal logic, correspondence theory and second-order reduction
Abstract The problem of eliminating second-order quantification over predicate symbols is in general undecidable. Since an application of second-order quantifier elimination is correspondence theory in modal logic, understanding when second-order...
2012 / Renate A. Schmidt -
High-Level Knowledge-Based Structures for Simulation within Urgent Computing Tasks
Abstract The paper presents conceptual and technological approach to describe high-level domain-specific structure of simulation and decision making process. The structures concerned as an extension to regular workflow conception which can be...
2012 / Sergey V. Kovalchuk, Alexander V. Boukhanovsky