Computer and information sciences topic list of research papers
-
Object Tracking with a Multiagent Robot System and a Stereo Vision Camera
Abstract When working with a robot in terms of object manipulation the essential information is relative position between robot's tool center point (TCP) and the object of interest. This paper proposes a method of frame relative displacement and...
2014 / Filip Šuligoj, Bojan Šekoranja, Marko Švaco, Bojan Jerbić -
A Systolic Array Architecture for Computing Time-varying Higher-order Cumulants
Abstract For non-stationary processes, the conventional power spectrum does not reflect the time variation of the process characteristics. Higher-order cumulants or bispectrum has been applied in the analysis of non-minimum phase linear,...
2013 / Mohammed AlOqeely, Abdullah Al-Shoshan -
A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach
Abstract Feature selection is an important task in machine learning, which can effectively reduce the dataset dimensionality by removing irrelevant and/or redundant features. Although a large body of research deals with feature selection in...
2013 / Newton Spolaôr, Everton Alvares Cherman, Maria Carolina Monard, Huei Diana Lee -
An Extensible Module Algebra For Maude
Abstract The fact that rewriting logic and Maude are reflective, so that rewriting logic specifications can be manipulated as terms at the metalevel, opens up the possibility of defining an algebra of module composition and transformation operations ...
2005 / Francisco Durán, José Meseguer -
An Approach to Composite QoS Parameter based Web Service Selection
Abstract In any enterprise application Quality of Service (QoS) is an important attribute for selecting a service during the service composition process. Although availability and reliability have been considered as the predominant factors for...
2013 / Rajeev Pratap Singh, K.K. Pattanaik -
Syntactic Type Soundness for HM(X)
Abstract The HM(X) framework is a constraint-based type framework with built-in let-polymorphism. This paper establishes purely syntactic type soundness for the framework, treating an extended version of the language containing state and recursive...
2004 / Christian Skalka, François Pottier -
A Proof Dedicated Meta-Language1 1This work has been realized within the LogiCal project (INRIA-Rocquencourt, France).
Abstract We describe a proof dedicated meta-language, called L tac , in the context of the Coq proof assistant. This new layer of...
2004 / David Delahaye -
CINNI - A Generic Calculus of Explicit Substitutions and its Application to λ- ς- and π-Calculi
Abstract We approach the general problem of representing higher-order languages, that are usually equipped with special variable binding constructs, in a less specialized first-order framework such as membership equational logic and the...
2005 / Mark- Oliver Stehr -
Preface
Abstract Over recent years, the notion of agency has claimed a major role in defining the trends of modern research. Influencing a broad spectrum of disciplines such as Sociology, Psychology, among others, the agent paradigm virtually invaded every...
2005 / Jürgen Dix, João Alexandre Leite, Ken Satoh -
Preface
Abstract This volume contains the Proceedings of the Workshop TOSCA 2001. This is the final workshop of the Project TOSCA, Teoria delle Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (Theory of Concurrency, Higher Order Languages and ...
2005 / Marina Lenisa, Marino Miculan -
Algorithms for Equality and Unification in the Presence of Notational Definitions
Abstract Notational definitions are pervasive in mathematical practic and are therefore supported in must automated theorem proving systems. In this paper we investigate their interaction with algorithms for testing equality and unification. We...
2005 / Frank Pfenning, Carsten Schürmann -
A Language for Multi-dimensional Updates
Abstract Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which represents a state of the world. These states permit the...
2004 / João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski -
Locating New Stops in a Railway Network1 1This work was partially supported by the Human Potential Programme of the European Union under contract no. HPRN-CT-1999-00104 (AMORE).
Abstract Given a railway network together with information on the population and their use of the railway infrastructure, we are considering the effects of introducing new train stops in the existing railway network. One effect concerns the...
2004 / Horst W. Hamacher, Annegret Liebers, Anita Schöbel, Dorothea Wagner, Frank Wagner -
The Bidirectional Mapping Problem
Abstract Mappings between models and languages are essential to support model driven approaches to software development. Those mappings need to be supported by tools. There are different kinds of mapping appropriate for different stages in the...
2004 / Stuart Kent, Robert Smith -
Meta-Modelling for Formal Software Development
Abstract Formal refinement shows how the specification of a program can be transformed by steps into an executable implementation. The method is sound and rigorous but is not suited to dealing with large and complex programs. Thus, the construction...
2004 / A. Sreenivas, R. Venkatesh, M. Joseph -
Logics and Multi-agents: towards a new symbolic model of cognition
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions in MAS development were singled out and discussed:...
2004 / Paolo Torroni -
Travel time measure specification by functional approximation: application of radial basis function neural networks
Abstract In this study, in the purpose of providing a dynamic procedure for reliable travel time specification, the performance of a neural functional approximation method is analysed. The numerical analyses are carried out on the succeeding...
2014 / Hilmi Berk Celikoglu -
The Research on Strategy of Building Campus Network Security Based on University Management
Abstract Campus network play a crucial role in the study and management of the daily work of schools. With the rapid development and popularization of the campus network, the security issues become increasingly prominent. How to make safe and...
2012 / Ma Tao, Wei Shaoqian, Liu Minglian, Wu Baozhu -
Preface
Abstract The 2001 International Workshop on Combinatorial Image Analysis (IWCIA 2001), a two-day workshop in Philadelphia, U.S.A. (August 23 – 24, 2001, Temple University Center City Conference Center), is the eighth in a series of workshops....
2005 / Sébastien Fourey, Gabor T. Herman, T.Yung Kong -
Agent Based Mathematical Reasoning1 1This work was partly supported by EPSRC grant GR/M22031.
Abstract In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our...
2005 / Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge