Τμήμα Πληροφορικής / Department of Computer Science: Recent submissions
Now showing items 361-380 of 1952
-
Conference Object
Getting ready for approximate computing: Trading parallelism for accuracy for dss workloads
(Association for Computing Machinery, 2014)Processors have evolved dramatically in the last years and current multicore systems deliver very high performance. We are observing a rapid increase in the number of cores per processor thus resulting in more dense and ...
-
Conference Object
Dynamic split: Flexible border between instruction and data cache
(2005)Current microprocessors are optimized for the average use. Nevertheless, it is known that different applications impose different demands on the system. This work focuses on the reconfiguration of the first-level caches. ...
-
Article
General chair's welcome
(2014)
-
Conference Object
Effects of stress on fricatives: Evidence from Standard Modern Greek
(International Speech and Communication Association, 2016)This study investigates the effects of stress on the spectral properties of fricative noise in Standard Modern Greek (SMG). Twenty female speakers of SMG participated in the study. Fricatives were produced in stressed and ...
-
Conference Object
Moving to memoryland: In-memory computation for existing applications
(Association for Computing Machinery, Inc, 2015)Migrating computation to memory was proposed a long time ago as a way to overcome the memory bandwidth and latency bottleneck, as well as increase the computation parallelism. While the concept had been applied to several ...
-
Conference Object
Mean-field semantics for a process calculus for spatially-explicit ecological models
(Open Publishing Association, 2016)We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a ...
-
Article
Synchronous parallel composition in a process calculus for ecological modelsAAA
(2014)In this paper we extend PALPS, a process calculus proposed for the spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, ...
-
Article
Rapid prototyping of the data-driven chip-multiprocessor (D 2-CMP) using FPGAs
(2008)This paper presents the FPGA implementation of the prototype for the Data-Driven Chip-Multiprocessor (D2-CMP). In particular, we study the implementation of a Thread Synchronization Unit (TSU) on FPGA, a hardware unit that ...
-
Conference Object
Grid resource selection by application benchmarking for computational haemodynamics applications
(2005)Grid benchmarking for improved computational resource selection can shed a light for improving the performance of computationally intensive applications. In this paper we report on a number of experiments with a biomedical ...
-
Article
Image-based crowd rendering
(2002)Rendering crowded scenes with thousands of different animated virtual people in real time is challenging. An image-based rendering approach for displaying multiple avatars is proposed. The system allows real-time rendering ...
-
Article
Visualizing crowds in real-time
(2002)Real-time crowd visualization has recently attracted quite an interest from the graphics community and, as interactive applications become even more complex, there is a natural demand for new and unexplored application ...
-
Article
Computing the acceptability semantics
(1995)We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined ...
-
Conference Object
Haemostasis in minimal invasive gynaecological surgery energies: Technical aspects, safety and efficacy
(Springer Verlag, 2016)The objective of this article is to examine the options, the effectiveness and the safety of the energies used in gynaecological minimal invasive surgery (MIGS), laparoscopic surgery developed in the end of 20th century. ...
-
Article
A pragmatic and pervasive methodology to web service discovery
(2006)Service-Oriented computing can be characterized as the motivating force for interoperable web applications. Businesses that embark on service-oriented technology are inclined to an effective interoperation with other ...
-
Conference Object
Modelling inhibition in metabolic pathways through abduction and induction
(2004)In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unknown enzymes or inhibitors. We show how we can model, ...
-
Conference Object
Applying trust mechanisms in an agent-based P2P network of service providers and requestors
(2006)Building an agent-based network of service providers and requestors requires the effective management of the interactions among peers. These interactions, as in real life, require the mutual trust of the peers participating ...
-
Article
Combining pragmatics and intelligence in semantic web service discovery
(2007)In this paper we present an architecture that augments existing semantic-based web service discovery solutions. The idea is to combine principles from the semantic and pragmatic web in order for the web service selection ...
-
Conference Object
A pragmatic methodology to web service discovery
(2007)As in linguistics the semantics co-exist with pragmatics to provide complete and unambiguous meaning to utterances, in the same way the pragmatics should augment the semantics in intelligent applications. Service-Oriented ...
-
Article
Plaque imaging using ultrasound, magnetic resonance and computer tomography: A review
(2005)Different classifications have been proposed in the literature for the characterization of atherosclerotic plaque morphology, resulting in considerable confusion. For example plaques containing medium of high level uniform ...
-
Conference Object
Crest line extraction from point clouds
(2005)We present a simple, automatic method for extracting feature curves, called crest lines, from point clouds. Crest lines are surface shape features having a mathematical background. Given an unstructured point cloud as ...