Computer and information sciences topic list of research papers
-
Mobility Impact on the End-to-End Delay Performance for VoIP over LTE
Abstract Long Term Evolution (LTE) is the last step towards the 4th generation of cellular networks. This revolution is necessitated by the unceasing increase in demand for high speed connection on LTE networks. This paper focuses on the performance ...
2012 / M. Tariq Aziz, M.E. Masum, M.J. Babu, S. Rahman, J. Nordberg -
Network externalities in a dynamic monopoly2007 / Luca Lambertini, Raimondello Orsini
-
e-Doctor: A Web based Support Vector Machine for Automatic Medical Diagnosis
Abstract This paper proposes e-doctor; a web-based application that makes automatic diagnoses about health problems. The whole procedure is based on Support Vector Machines (SVMs), which are supervised learning models that analyze data and proceed...
2013 / A. Kampouraki, D. Vassis, P. Belsis, C. Skourlas -
Evaluation of Potential Communication Breakdowns in the Interaction of the Deaf in Corporate Information Systems on the Web
Abstract The translation of web content into Libras (Lingua Brasileira de Sinais – Brazilian Sign Language), although adequate, cannot always be implemented, due to its high cost. Thus, the present study aims to identify and propose solutions for...
2012 / Aline da Silva Alves, Simone Bacellar Leal Ferreira, Viviane Santos de Oliveira, Denis S. da Silva -
An Improved Median-based Otsu Image Thresholding Algorithm
Abstract Robust and automatic thresholding of gray level images has been commonly used in the field of pattern recognition and computer vision for objects detecting, tracking and recognizing. The Otsu scheme, a widely used image thresholding...
2013 / Xiaolu Yang, Xuanjing Shen, Jianwu Long, Haipeng Chen -
An EMM-based Approach for Text Classification
Abstract In this paper, a classification method named explicit Markov model is applied for text classification. Currently some machine learning technologies, such as support vector machine (SVM), have been discussed widely in text classification....
2013 / J.G. Liang, X.F. Zhou, P. Liu, L. Guo, S. Bai -
Interfacing Coq + SSReflect with GAP
Abstract We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It allows Coq to issue...
2012 / Vladimir Komendantsky, Alexander Konovalov, Steve Linton -
Gathering Alternative Solutions for New Requirements in Manufacturing Company: Collaborative Process with Data Visualization and Interaction Support
Abstract Manufacturing company must take up the gauntlet for ever changing customer demand. Taking the right decision for adapting its production system requires to analyse several aspects bound to different points of view, to consider all possible...
2012 / S. Sadeghi, C. Mascleta, F. Noel -
Equal opportunity equivalence in land division2011 / Antonio Nicolò, Andrés Perea y Monsuwe, Paolo Roberti
-
A New Kind of Dynamic RWA Algorithm with QoS and Link Protection Under the Constraint of Wavelength Continuity
Abstract A new kind of dynamic RWA algorithm with QoS and link protection mechanism under the constraint of wavelength continuity is presented. Using a peculiar link protection method, a protection routing is established with unique links and...
2011 / Li Du, Yin Zheng -
Ontology-Based Interactive Information Extraction From Scientific Abstracts2005 / David Milward, Marcus Bjäreland, William Hayes, Michelle Maxwell, Lisa Öberg, et al.
-
Reactive intuitionistic tableaux2010 / D. M. Gabbay
-
Preface2005 / Irek Ulidowski
-
On Finite-time Computability Preserving Conversions
Abstract A finite-time computable function is a partial function from Σ ω to ...
2008 / Hideki Tsuiki, Shuji Yamada -
A Simple Calculus for Proteins and Cells
Abstract The use of process calculi to represent biological systems has led to the design of different calculi such as brane calculi [Luca Cardelli. Brane calculi. In CMSB, pages 257–278, 2004] and κ-calculus [Vincent Danos and Cosimo Laneve. Formal ...
2007 / Cosimo Laneve, Fabien Tarissan -
Security and Trust in IT Business Outsourcing: a Manifesto
Abstract Nowadays many companies understand the benefit of outsourcing. Yet, in current outsourcing practices, clients usually focus primarily on business objectives and security is negotiated only for communication links. It is however not...
2007 / Y. Karabulut, F. Kerschbaum, F. Massacci, P. Robinson, A. Yautsiukhin -
MarCaSPiS: a Markovian Extension of a Calculus for Services
Abstract Service Oriented Computing (SOC) is a design paradigm that has evolved from earlier paradigms including object-orientation and component-based software engineering. Important features of services are compositionality, context-independence,...
2009 / Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink -
Goto and Concurrency Introducing Safe Jumps in Esterel
Abstract Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution as a succession of instants of computation. In this...
2006 / Olivier Tardieu -
About Fast and TReX Accelerations
Abstract Fast and TReX tools are designed to analyse systems with infinite state spaces. They both implement algorithms computing the set of reachable states of such systems. Since the state space may be infinite, acceleration...
2005 / Christophe Darlot, Alain Finkel, Laurent Van Begin -
An Efficient Migration to Model-driven Development (MDD)
Abstract Model-driven development envisions raising the abstraction level of software development. To fully realize this vision, technology-specific aspects must be completely hidden from developers. They produce only platform-independent models...
2005 / Jens Knodel, Michalis Anastasopolous, Thomas Forster, Dirk Muthig