loading
Documents

Research.Publish.Connect.

Affiliation

Ulster University, United Kingdom
Context (please use complete words only)
Field
Sort by

8 Papers

Using Models to Assess Impact of Defective Software

Authors: Juan C. Augusto 1 , George Wilkie 1 , Hui Wang 1 , Jun Liu 1 and Chunping Li 2

Affiliations: 1 CSRI and School of Computing and Mathematics and University of Ulster, United Kingdom , 2 School of Software and Tsinghua University, China

Digital Object Identifier: 10.5220/0003596000710077

Proceedings of MSVVEIS 2011/ICEIS, ISBN: 978-989-8425-60-7

Collapse Button Quick Abstract
We explain a new strategy to model a set of java classes and to abstract a model from them that can be use to study the impact that defects affecting specific classes can have on the whole system. We use the models of the software implementation as an abstraction of the software that can be used for experimentation We used simulation and verification in SPIN but the idea can be applied to implementations in other languages than java and the analysis of defects impact can be done with other verification tools as well.

DIALOGUE-BASED MANAGEMENT OF USER FEEDBACK IN AN AUTONOMOUS PREFERENCE LEARNING SYSTEM

Topics: Intelligent User Interfaces; Natural Language Processing; Ambient Intelligence; Conversational Agents; Autonomous Systems

Authors: Juan Manuel Lucas-Cuesta 1 , Javier Ferreiros 1 , Asier Aztiria 2 , Juan Carlos Augusto 3 and Michael McTear 3

Affiliations: 1 Speech Technology Group, Universidad Politécnica de Madrid, Spain , 2 University of Mondragon, Spain , 3 School of Computing and Mathematics, University of Ulster at Jordanstown, United Kingdom

Digital Object Identifier: 10.5220/0002732403300336

Proceedings of ICAART 2010, ISBN: 978-989-674-021-4

Collapse Button Quick Abstract
We present an enhanced method for user feedback in an autonomous learning system that includes a spoken dialogue system to manage the interactions between the users and the system. By means of a rule-based natural language understanding module and a state-based dialogue manager we allow the users to update the preferences learnt by the system from the data obtained from different sensors. The design of the dialogue together with the storage of context information (the previous dialogue turns and the current state of the dialogue) ensures highly natural interactions, reducing the number of dialogue turns and making it possible to use complex linguistic constructions instead of isolated commands.
Collapse Button Related Ontology Subjects/Areas/Topics (14)
Agents

Conversational Agents

Knowledge-Based Systems

Ambient Intelligence

Enterprise Information Systems

Natural Language Processing

Applications

Human-Computer Interaction

Pattern Recognition

Artificial Intelligence

Intelligent User Interfaces

Symbolic Systems
Autonomous Systems

Knowledge Engineering and Ontology Development

CONTEXT-AWARE AGENTS - The 6Ws Architecture

Topics: Pervasive Computing; Agent Models and Architectures

Authors: Juan Carlos Augusto 1 and John O'Donoghue 2

Affiliations: 1 University Of Ulster At Jordanstown, United Kingdom , 2 University College Cork, Ireland

Digital Object Identifier: 10.5220/0001745305910594

Proceedings of ICAART 2009, ISBN: 978-989-8111-66-1

Collapse Button Quick Abstract
Software agents have been designed and implemented to function within limited context-aware capabilities. For an agent to function correctly and efficiently it should contain sufficient knowledge and reasoning resources enabling them to process large quantities of implicit information conveyed through an explicit description. Presented in this position paper is an introduction of the 6Ws agent-based architecture which encompasses key reasoning capabilities which are not adequately supported by existing BDI frameworks but have been recognized as highly relevant for the development of Ambient Intelligent systems.
Collapse Button Related Ontology Subjects/Areas/Topics (7)
Agent Models and Architectures

Mobile Software and Services

Telecommunications

Agents

Pervasive Computing

Wireless Information Networks and Systems
Artificial Intelligence

THE DARMSTADT CHALLENGE - The Turing Test Revisited

Topics: Cognitive Systems; Ambient Intelligence

Authors: J. C. Augusto 1 , M. Bohlen 2 , D. Cook 3 , F. Flentge 4 , G. Marreiros 5 , Carlos Ramos 5 , Weijun Qin 6 and Yue Suo 6

Affiliations: 1 School of Computing and Mathematics at Jordanstown and CSRI, University of Ulster, United Kingdom , 2 State University of New York, United States , 3 Washington State University, United States , 4 TU Darmstadt, Germany , 5 Polytechnic of Porto, Portugal , 6 Tsinghua University, China

Digital Object Identifier: 10.5220/0001665002910296

Proceedings of ICAART 2009, ISBN: 978-989-8111-66-1

Collapse Button Quick Abstract
Significant work has been done in the areas of Pervcomp/Ubicomp/Smart Environments with advances on making proactive systems, but those advances have not made these type of systems accurately proactive. On the other hand a great deal is needed to make systems more sensible/sensitive and trustable (both in terms of reliability and privacy). We put forward the thesis that a more integral and social-aware sort of intelligence is needed to effectively interact, decide and act on behalf of people’s interest and that a way to test how effective systems are achieving these desirable behaviour is needed as a consequence. We support our thesis by providing examples on how to measure effectiveness in variety of different environments.
Collapse Button Related Ontology Subjects/Areas/Topics (7)
Ambient Intelligence

Computational Intelligence

Soft Computing

Artificial Intelligence

Evolutionary Computing

Symbolic Systems
Cognitive Systems

Verification of Smart Homes Specifications which are based on ECA Rules

Author: Juan C. Augusto

Affiliation: School of Computing and Mathematics, University of Ulster at Jordanstown, United Kingdom

Digital Object Identifier: 10.5220/0002574701180120

Proceedings of MSVVEIS 2005/ICEIS, ISBN: 972-8865-22-8

Collapse Button Quick Abstract
Smart homes implementations are usually based on Active Databases (ADBs). A core concept of ADBs is the concept of Event-Condition-Action (ECA) rules allowing the system to react to specific events occurring in contexts of interest and advising on an the actions that should be taken in those situations. Although research in ADBs has been conducted for quite a few years, still no standard verification framework has emerged yet from the area. In this paper we consider some options to verify specifications of Smart Homes based on ADB-related concepts.

DURATIVE EVENTS IN ACTIVE DATABASES

Topic: Deductive, Active, Temporal and Real-Time Databases

Authors: Rodolfo Gómez 1 and Juan Carlos Augusto 2

Affiliations: 1 Computing Laboratory, University of Kent at Canterbury, United Kingdom , 2 School of Computing and Mathematics, University of Ulster at Jordanstown, United Kingdom

Digital Object Identifier: 10.5220/0002647703060311

Proceedings of ICEIS 2004, ISBN: 972-8865-00-7

Collapse Button Quick Abstract
Active databases are DBMS which are able to detect certain events in the environment and trigger actions in consequence. Event detection has been subject of much research, and a number of different event specification languages is extant. However, this is far from being a trivial or accomplished task. Most of these languages handle just instantaneous events, but it has been noticed that a number of situations arise where it would be interesting or even necessary to handle durative events. We elaborate on a given specification language which combines instantaneous and durative events, revealing some issues which must be taken into account when the semantics of event composition is defined.
Collapse Button Related Ontology Subjects/Areas/Topics (3)
Databases and Information Systems Integration

Deductive, Active, Temporal and Real-Time Databases

Enterprise Information Systems

Fault-based Testing of E-Commerce Applications

Authors: Marisa A. Sánchez 1 , Juan Carlos Augusto 2 and Miguel Felder 3

Affiliations: 1 Universidad Nacional del Sur, Argentina , 2 School of Computing and Mathematics, University of Ulster at Jordanstown, United Kingdom , 3 Pragma Consultores, Argentina

Digital Object Identifier: 10.5220/0002660800660071

Proceedings of VVEIS 2004/ICEIS, ISBN: 972-8865-03-1

Collapse Button Quick Abstract
Because of their complexity, business transactions are prone to failure in many ways. This paper reports on our experience using a fault-based testing approach. The approach overcomes the limitations of specification-based approaches that derive from the intrinsic incompleteness of the specification, and from the focus of specifications on correct behaviors, rather than potential faults, and hence provides a complementary technique during the testing phase.

IMPROVING VIEW SELECTION IN QUERY REWRITING USING DOMAIN SEMANTICS

Topics: Coupling and Integrating Heterogeneous Data Sources; Distributed Database Applications Object-Oriented Database Systems

Authors: Qingyuan Bai 1 , Jun Hong 2 and Michael F. McTear 1

Affiliations: 1 School of Computing and Mathematics, University of Ulster, United Kingdom , 2 School of Computer Science, Queen’s University of Belfast, United Kingdom

Digital Object Identifier: 10.5220/0002623101770183

Proceedings of ICEIS 2004, ISBN: 972-8865-00-7

Collapse Button Quick Abstract
Query rewriting using views is an important issue in data integration. Several algorithms have been proposed, such as the bucket algorithm, the inverse rules algorithm, the SVB algorithm, and the MiniCon algorithm. These algorithms can be divided into two categories. The algorithms of the first category are based on use of buckets while the ones of the second category are based on use of inverse rules. The bucket-based algorithms have not considered the effects of integrity constraints, such as domain semantics, functional and inclusion dependencies. As a result, they might miss query rewritings or generate redundant query rewritings in the presence of these constraints. A bucket-based algorithm consists of two steps. The first step is called view selection that selects views relevant to a given query and puts the views into the corresponding buckets. The second step is to generate all the possible query rewritings by combining a view from each bucket. In this paper, we consider an improvement of view selection in the bucket-based algorithms using domain semantics. We use the resolution method to generate a pseudo residue for each view given a set of domain semantics. Given a query, the pseudo residue of each view is compared with it and any conflict that exists can be found. As a result, irrelevant views can be removed even before a bucket-based algorithm is used.
Collapse Button Related Ontology Subjects/Areas/Topics (4)
Coupling and Integrating Heterogeneous Data Sources

Enterprise Information Systems

Object-Oriented Database Systems
Databases and Information Systems Integration

Context (please use complete words only)
Field
Sort by

Topic(s):

Filter listed results, by

Publication date

From:
To:
Author
Locate Author in list below
Data pager
Data pager
123
 Page 1 of 3, items 1 to 10 of 22.
Add Author(s) to filter:
Conference

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic