Computer and information sciences topic list of research papers
-
Medial-Axis-Based Cartograms2005 / D.A. Keim, C. Panse, S.C. North
-
A simple distributed reasoning system for the connection calculus2014 / Adam Meissner
-
The Opportunity of Power Electronics on Improving the Quality of Voltage and Power Flow in the West Algeria Network
Abstract The Flexible Alternate Current Transmission Systems (FACTS) controllers improve quality of the supply power, enhance power system performance and also provide an optimal utilization of the existing resources. Especially the Thyristor...
2014 / H. Guentri, F. Lakdja, M. Laouer -
Retrieval of Flower Based on Sketches
Abstract In this paper, we propose a model for representation and indexing of flower images for the purpose of retrieving flowers of interest based a query sketch. In several applications, where the size of a database is supposed to be very huge,...
2015 / Y.H. Sharath Kumar, D.S. Guru -
Aspects of Incorporation of ICT in the Greek Agricultural Enterprises: The Case of a Prefecture
Abstract The infiltration of new technologies in the agricultural sector is fact. Specifically the ICT constitute a tool of briefing, information but also management of agricultural enterprises. However, what is the ICT profile of a modern farm? How ...
2014 / Maria Botsiou, Vassilios Dagdilelis -
A quality assurance technique for the static multileaf collimator mode based on intrinsic base lines
Abstract The inspection of the static leaf positions of Multileaf Collimator (MLC) devices is essential for safe radiotherapy deliveries in both static and dynamic modes. The purpose of this study was to develop a robust, accurate and generic...
2014 / Kareem Ahmed El-Maraghy, Mohamed Metwaly, El-Sayed Mahmoud El-Sayed, AbdelSattar Mohamed Sallam -
Logical Relations and Parametricity – A Reynolds Programme for Category Theory and Programming Languages
Abstract In his seminal paper on “Types, Abstraction and Parametric Polymorphism,” John Reynolds called for homomorphisms to be generalized from functions to relations. He reasoned that such a generalization would allow type-based “abstraction”...
2014 / Claudio Hermida, Uday S. Reddy, Edmund P. Robinson -
A Retrieval Algorithm of Sheet Metal Parts Based on Relationships of Features
Abstract With the rapid increase in the number of three-dimensional (3D) models each year, to quickly and easily find the part desired has become a big challenge of enterprises. Meanwhile, many methods and algorithms have been proposed for part...
2012 / Dawei WANG, Guangrong YAN, Yi LEI, Jiaying ZHANG -
The Prediction of Ellipses Using Topic Model for Japanese Colloquial Inquiry Text
Abstract Generally inquiries through Web forms and e-mails are increasing. These inquiry texts usually include many informal ex- pressions use of the colloquial style and many omitted words. An omitted word causes the meaning of a sentence to become ...
2013 / Tomohiko Harada, Yoshikatsu Fujita, Kazuhiko Tsuda -
Tax evasion under behavioral structures
Abstract We study the strategic interactions between the fiscal authority and the taxpayer regarding tax evasion and auditing. We fit this interaction into a Bayesian game and introduce the concept of behavioral consistency, which helps reducing the ...
2014 / Gabriela S. Pantoja, Rodrigo S. Peñaloza -
The Sky: A Social Approach to Clouds Federation
Abstract With all the controversy about Cloud computing reality, its promising benefits and enduring challenges, service provisioning remains the heart of this contentious Internet phenomenon. In this paper, we solidify the description of the Sky...
2013 / Asma Al Falasi, Mohammed Adel Serhani, Said Elnaffar -
Input/Output for ELAN
Abstract We show how to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite specification of π-calculus. This I/O system has the advantage of being totally explicit and fit in the same semantic framework than any other...
2004 / Patrick Viry -
Coordination Model and Noninterference
Abstract Noninterference properties for the analysis of secure information flow are proposed in the setting of a process algebra modeling some Linda coordination primitives (asynchronous communication and read operation). To this end, relaxed...
2004 / Alessandro Aldini -
Towards the verification of real-time systems in avionics
Abstract The Cotre Project1 is aimed at providing a design methodology and an associated software environment for the development of embedded realtime avionic systems. It contributes to bridging the gap between requirements of such systems,...
2004 / B. Berthomieu, P-O. Ribet, F. Vernadat, J.L. Bernartt, J-M. Farines, et al. -
Distribution of Explicit-State LTL Model-Checking
Abstract We give a brief summary of recent achievements in the Parallel and Distributed Systems Laboratory at the Faculty of Informatics in Brno that are related to the distribution of explicit-state LTL model-checking. Distribution and...
2004 / Luboš Brim, Jiří Barnat -
A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations
Abstract In this paper we show how to transfer some developments done in the field of functionallogic programming (FLP) to a pure functional setting (FP). More exactly, we propose a complete fold/unfold based transformation system for optimizing...
2004 / Ginés Moreno -
Research of Compound Controller for Flight Simulator with Disturbance Observer
Abstract A compound controller is proposed to alleviate the considerable chattering in output of zero phase error tracking controller (ZPETC), when the flight simulator losses command data of simulation signal. Besides, the shortcomings, caused by...
2011 / Yunjie WU, Xiaodong LIU, Dapeng TIAN -
Maude as a Metalanguage
Abstract One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive evidence...
2005 / M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, et al. -
A general framework for rational learning in social networks2013 / Manuel Mueller-Frank
-
Hierarchical cheap talk2013 / Attila Ambrus, Eduardo M. Azevedo, Yuichiro Kamada