Computer and information sciences topic list of research papers
-
A Parallel Method for Impulsive Image Noise Removal on Hybrid CPU/GPU Systems
Abstract A parallel algorithm for image noise removal is proposed. The algorithm is based on peer group concept and uses a fuzzy metric. An optimization study on the use of the CUDA platform to remove impulsive noise using this algorithm is...
2013 / M.G. Sánchez, V. Vidal, J. Bataller, J. Arnal -
Computer Vision Analysis of 3D Scanned Circuit Boards for Functional Testing and Redesign
Abstract Testing, repair and overhaul of long-living printed circuit boards (PCBs) is a laborious task if no schematics or layout plans are available. Existing Reverse Engineering (RE) methods are time-consuming, error-prone, and destructive and...
2013 / Hendrik Grosser, Boris Beckmann-Dobrev, Friedrich Politz, Rainer Stark -
Joint modality fusion and temporal context exploitation for semantic video analysis2012 / Georgios Papadopoulos, Vasileios Mezaris, Ioannis Kompatsiaris, Michael G Strintzis
-
Fourier-Transform-Based Method for Automated Steel Bridge Coating Defect Recognition
Abstract Intelligent computerized system can analyze and process vast amounts of data instantaneously in the civil engineering domain recently. However, most of previously developed image assessment methods for steel bridge rust inspection could not ...
2011 / P.H. Chen, H.K. Shen, C.Y. Lei, L.M. Chang -
Semi-Active LQG Control of Seismically Excited Nonlinear Buildings using Optimal Takagi-Sugeno Inverse Model of MR Dampers
Abstract A novel semi-active control method for a seismically excited nonlinear benchmark building equipped with magnetorheological (MR) dampers is presented and evaluated in this paper. While Linear Quadratic Gaussian (LQG) controller is designed...
2011 / Mohsen Askari, Jianchun Li, Bijan Samali -
Significance of spirometry in a diabetic patient with chronic cough
Abstract Diabetes mellitus (DM) is a group of metabolic disease of all age groups especially the middle age and aged people. Diabetes can cause serious complications that involve multiple organs and physiological functions. The chronic hyperglycemia ...
2011 / Sultan Ayoub Meo -
Computer-assisted Revision in Spanish Academic Texts: Peer-assessment
Abstract This paper presents a series of experiments in automatic correction of spelling and grammar errors with a statistic and corpus- driven methodology. The language of the experiments is Spanish, but the method can be easily extrapolated to...
2014 / Carmen López Ferrero, Irene Renau, Rogelio Nazar, Sergi Torner -
Safe Adaptation of Component Coordination
Abstract In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these components to particular users demands. Indeed, these components...
2007 / Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou -
A Coalgebraic Representation of Reduction by Cone of Influence
Abstract The Cone of Influence Reduction is a fundamental abstraction technique for reducing the size of models used in symbolic model checking. We develop coalgebraic representations of systems as composites of state transition maps and connectors. ...
2008 / Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki -
On Specifying Timeouts
Abstract This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.
2006 / Rob van Glabbeek -
Co-Algebraic Models for Quantitative Spatial Logics
Abstract We introduce a class of coalgebraic models and a family of modal logics that support the specification of spatial properties of distributed applications. The evaluation of a formula yields a value in a suitable multi-valued algebraic...
2007 / Vincenzo Ciancia, Gian Luigi Ferrari -
Light Dialectica Program Extraction from a Classical Fibonacci Proof
Abstract We demonstrate program extraction by the Light Dialectica Interpretation (LDI) on a minimal logic proof of the classical existence of Fibonacci numbers. This semi-classical proof is available in MinLog's library of examples. The term of...
2007 / Mircea-Dan Hernest -
Control Flow Analysis for Brane Calculi
Abstract We introduce a Control Flow Analysis for Brane Calculi. This verification technique allows properties regarding the behaviour of biological systems to be checked. This is an approximate technique that focusses on the static specification of ...
2009 / Chiara Bodei, Andrea Bracciali, Davide Chiarugi -
A Brief Analysis on the Lettered Words in Chinese--From the Perspective of Ecolinguistics
Abstract It has been more than a century since the emergence of the lettered words. After that, with the development of economy and culture, the increase of international contacts and communication between China and foreign countries, lettered words ...
2012 / Ran-ran Feng, An-hui Fan -
Adaptation of Learning Strategies in Learning Objects for using Learning Styles
Abstract Adaptation is a key element in web based learning systems. The learning objects have become a fundamental element to develop educational contents for e-learning environments. In this paper we have used the learning styles theory and its...
2012 / Javier Enrique Rojas Moreno -
The graphic design and application problems on the theatre publicity stands: a three-dimensional (3D) advertiser graphic design for a play
Abstract Theater's being a branch of art which is able to live with its up-to-dateness among all other branches of art (Nutku, 1991) forms a thought of the necessity of advancing technology to protect theater's timelessness and to support theater;...
2011 / Banu Bulduk -
Epistemic communities in universities
Abstract The creation of new knowledge, as evidenced by trends in research publications is increasingly a collaborative affair. However, the epistemological assumptions underlying how we see knowledge are predominantly based on a view of knowledge...
2011 / Tim Gore -
A permeability simulation method using block sequential simulation
Abstract The permeability is an important parameter for the evaluation of transport properties in many scientific and engineering fields. However, it is quite difficult to predict the unknown permeability information only by some sparse data in the...
2011 / Yi Du, Ting Zhang -
How to Make Teaching Interesting?
Abstract Lectures, particularly in Mathematics, worse still in abstract courses such as Linear Algebra, Abstract Algebra and Analysis, often create boredom to some students, especially when the lectures are delivered in two continuous sessions, or...
2012 / Abdul Razak Salleh -
Performance and quality of service of data and video movement over a 100 Gbps testbed
Abstract Digital instruments and simulations are creating an ever-increasing amount of data. The need for institutions to acquire these data and transfer them for analysis, visualization, and archiving is growing as well. In parallel, networking...
2012 / Michael Kluge, Stephen Simms, Thomas William, Robert Henschel, Andy Georgi, et al.