Browsing Τμήμα Πληροφορικής / Department of Computer Science by Title
Now showing items 1-20 of 1948
-
Conference Object
3D channel modeling and characterization for hypersurface empowered indoor environment at 60 GHz millimeter-wave band
(Society for Computer Simulation International, 2019)This paper proposes a three-dimensional (3D) communication channel model for an indoor environment considering the effect of the Hypersurface. The Hypersurface is a software controlled intelligent metasurface, which can ...
-
Conference Object
4G converged environment: Modeling network selection as a game
(2007)Network Selection mechanism in 4G mobile networks is a newly introduced mechanism that handles the selection of the best network to satisfy a service request. Network Selection needs to take part prior to admission of the ...
-
Article
-
Conference Object
A-system: Problem solving through abduction
(2001)This paper presents a new system, called the A-System, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search ...
-
Article
ABA: Argumentation based agents
(2012)Many works have identified the potential benefits of using argumentation in multiagent settings, as a way to implement the capabilities of agents (eg. decision making, communication, negotiation) when confronted with ...
-
Article
ABA: Argumentation based agents
(2010)Many works have identified the potential benefits of using argumentation to address a large variety of multiagent problems. In this paper we take this idea one step further and develop the concept of a fully integrated ...
-
Conference Object
Abdominal Aortic Aneurysm medical video transmission
(2012)Abdominal Aortic Aneurysm (AAA) is responsible for approximately 1.3% of all deaths among men over the age of 65. Given the fact that once an aortic rupture occurs mortality rates are estimated between 80%-90%, national ...
-
Conference Object
Abduction and induction for learning models of inhibition in metabolic networks
(2005)This paper describes the use of a mixture of abduction and induction for the temporal modelling of the effects of toxins in metabolic networks. Background knowledge is used which describes network topology and functional ...
-
Article
-
Book
Abduction and induction: essays on their relation and integration
(Kluwer Academic Publishers, 2000)
-
Article
Abduction in logic programming
(2002)Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. ...
-
Article
Abductive concept learning
(2000)We investigate how abduction and induction can be integrated into a common learning framework. In particular, we consider an extension of Inductive Logic Programming (ILP) for the case in which both the background and the ...
-
Doctoral Thesis
Abductive constraint logic programming and its application to scheduling
(University of London, 1998)
-
Article
-
Article
Abductive logic programming
(1992)This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications ...
-
Article
Abductive logic programming in the clinical management of HIV/AIDS
(2006)This paper presents a new Abductive Logic Programming (ALP) approach for assisting clinicians in the selection of antiretroviral drugs for patients infected with Human Immunodeficiency Virus (HIV). The approach is comparable ...
-
Article
An abductlve-based scheduler for air-crew assignment
(2001)This article presents the design and implementation of an air-crew assignment system, for producing and refining a solution to this problem, based on the artificial intelligence principles and techniques of abductive ...
-
Conference Object
ABSense: Sensing Electromagnetic Waves on Metasurfaces via Ambient Compilation of Full Absorption
(2019)Metasurfaces constitute effective media for manipulating and transforming impinging EM waves. Related studies have explored a series of impactful MS capabilities and applications in sectors such as wireless communications, ...
-
Conference Object
An abstract channel specification and an algorithm implementing it using Java sockets
(2008)Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
-
Conference Object
ACCES: Offline accuracy estimation for fingerprint-based localization
(Institute of Electrical and Electronics Engineers Inc., 2017)In this demonstration we present ACCES, a novel framework that enables quality assessment of arbitrary fingerprint maps and offline accuracy estimation for the task of fingerprint-based indoor localization. Our framework ...