Computer and information sciences topic list of research papers
-
Scheduling Aircraft Using Constraint Satisfaction
Abstract In this paper, an airport departure scheduling tool for aircraft is presented based on constraint satisfaction techniques. Airports are getting more and more congested with the available runway configuration as one of the most constraining...
2004 / Pim van Leeuwen, Henk Hesselink, Jos Rohling -
Language Design Issues for Agents based on Linear Logic (Extended Abstract)
Abstract Agent systems based on the Belief, Desire and Intention model of Rao and Georgeff have been used for a number of successful applications. However, it is often difficult to learn how to apply such systems, due to the complexity of both the...
2004 / James Harland, Michael Winikoff -
Preface
Abstract Computing: the Australasian Theory Symposium (CATS) is the premier theoretical computer science conference in Australasia, and originated as a meeting organised by Barry Jay in December, 1994 in Sydney. Since then, it...
2005 / James Harland -
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
Abstract Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with chaotic iterations of monotonic operators. With each operator...
2004 / G. Ferrand, W. Lesaint, A. Tessier -
Towards Common Exchange Formats for Graphs and Graph Transformation Systems
Abstract The development of common exchange formats for graphs and graph transformation systems is an ongoing initiative within the EU Working Group APPLIGRAPH (Applications of Graph Transformation). The author is reporting on the current state of...
2004 / Gabriele Taentzer -
Regular Expression Types for Strings in a Text Processing Language
Abstract We present λ re , a minimal functional calculus with regular expression types for strings, in order to establish a theoretical foundation of using regular expressions as types of strings in text...
2004 / Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa -
The Troublesome Probabilistic Powerdomain
Abstract In [12] it is shown that the probabilistic powerdomain of a continuous domain is again continuous. The category of continuous domains, however, is not cartesian closed, and one has to look at subcategories such as RB, the retracts of...
2005 / Achim Jung, Regina Tix -
An Overview of Edison
Abstract Edison is a library of functional data structures implemented in Haskell. It supports three main families of abstractions: sequences, collections (e.g., sets and priority queues), and associative collections (e.g., finite maps). This paper...
2005 / Chris Okasaki -
Survey on Background Modeling and Foreground Detection for Real Time Video Surveillance
Abstract In Image Processing, a very trivial task is to detect the changes in the multiple images of the same scene of a real time instant. The task is not only trivial but also very indispensable as it brings into play a great number of diversified ...
2015 / S. Jeeva, M. Sivabalakrishnan -
Structured Transition Systems as Lax Coalgebras1 1Research partly supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems)
Abstract This paper relates labeled transition systems and coalgebras with the motivation of comparing and combining their complementary contributions to the theory of concurrent systems. The well-known mismatch between these two notions for what...
2004 / Andrea Corradini, Martin Große-Rhode, Reiko Heckel -
A Fully Abstract Model for Mobile Ambients
Abstract Aim of this paper is to investigate the possibility of developing filter models for calculi representing mobility. We will define a model for a variant of the Ambient Calculus. This model turns out to be fully abstract with respect to a...
2004 / M. Coppo, M. Dezani-Ciancaglini -
Encoding Distributed Areas and Local Communication into the π-Calculus
Abstract We show how the π-calculus can express local communications within a distributed system, through an encoding of the local area π-calculus, an enriched system that explicitly represents names which are known universally but always refer to...
2004 / Tom Chothia, Ian Stark -
Bridging the Gap Between the Least and the Most Influential Twitter Users
Abstract Social networks play an increasingly important role in shaping the behaviour of users of the Web. Conceivably Twitter stands out from the others, not only for the platform's simplicity but also for the great influence that the messages sent ...
2013 / J. del Campo-Ávila, N. Moreno-Vergara, M. Trella-López -
The Representation of Human Choices in Business Process Models
Abstract Tasks and artifacts are recognized as first-class citizens in business processes but there is still no consensus on how to represent them. This paper proposes a notation, named ENTA, which allows both task-centric models and...
2014 / Giorgio Bruno -
Student Preferences for Use of Online Collaboration Programs for Completion of Translation Projects
Abstract Problem statement: Students attending the University of Alcalá come from different locations throughout central Spain. This circumstance can have an impact on their collaboration on group projects. Purpose of study: This paper examines a...
2014 / Mary Frances Litzler -
MICR Automated Recognition based on Paraconsistent Artificial Neural Networks
Abstract The purpose of this paper is to discuss an automated computational system able to recognize MICR characters commonly used on bank checks based on Paraconsistent Artificial Neural Networks due to their intrinsic ability to deal with...
2013 / Sheila Souza, Jair Minoro Abe, Kazumi Nakamatsu -
A User Preference and Service Time Mix-aware Resource Provisioning Strategy for Multi-tier Cloud Services
Abstract As the majority of cloud services deploy a multi-tier architecture, it poses a real challenge to resource provisioning. Because of the cross-tier dependencies of multi-tier cloud services, the traditional tailor-made resource provisioning...
2013 / Dandan Hu, Ningjiang Chen, Shilong Dong, Yimin Wan -
Reporting a program evaluation: Needs, program plan, intervention, and decisions
Abstract The approach to intervention programs varies depending on the methodological perspective adopted. This means that health professionals lack clear guidelines regarding how best to proceed, and it hinders the accumulation of knowledge. The...
2013 / Salvador Chacón Moscoso, Susana Sanduvete Chaves, Mariona Portell Vidal, M. Teresa Anguera Argilaga -
Optimization of Approximate Inhibitory Rules Relative to Number of Misclassifications
Abstract In this work, we consider so-called nonredundant inhibitory rules, containing an expression “attribute:F value” on the right- hand side, for which the number of misclassifications is at most a threshold γ. We study a dynamic programming...
2013 / Fawaz Alsolami, Igor Chikalov, Mikhail Moshkov, Beata Zielosko -
Interactive Visualization for Monitoring Support of Multiple BBS Threads
Abstract This paper proposes an interactive visualization system that supports tasks of monitoring multiple BBS threads regularly. A BBS is useful as means to know the latest information and wide range of opinions about the topics of interest....
2013 / Yasufumi Takama, Masaki Okumura