Τμήμα Πληροφορικής / 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 

      Trancoso, Pedro (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 

      Trancoso, Pedro (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 

      Trancoso, Pedro (2014)
    • Conference Object  

      Effects of stress on fricatives: Evidence from Standard Modern Greek 

      Themistocleous, Charalambos; Savva, Angelandria; Aristodemou, Andrie (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 

      Trancoso, Pedro (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 

      Toro, Mauricio; Philippou, Anna; Arboleda, S.; Puerta, M.; Vélez S, C. M. (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 

      Toro, Mauricio; Philippou, Anna; Kassara, Christina; Sfenthourakis, Spyros (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 

      Tatas, Konstantinos; Kyriacou, Costas; Evripidou, Paraskevas; Trancoso, Pedro; Wong, S. (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 

      Tirado-Ramos, A.; Tsouloupas, George; Dikaiakos, Marios D.; Sloot, P. (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 

      Tecchia, F.; Loscos, C.; Chrysanthou, Yiorgos L. (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 

      Tecchia, F.; Loscos, C.; Chrysanthou, Yiorgos L. (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 

      Toni, F.; Kakas, Antonis C. (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 

      Tanos, Vasilios; Neofytou, Marios S.; Pattichis, Constantinos S. (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 

      Tamani, E.; Evripidou, Paraskevas (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 

      Tamaddoni-Nezhad, A.; Kakas, Antonis C.; Muggleton, S.; Pazos, F. (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 

      Tamani, E.; Evripidou, Paraskevas (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 

      Tamani, E.; Evripidou, Paraskevas (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 

      Tamani, E.; Evripidou, Paraskevas (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 

      Suri, J. S.; Pattichis, Constantinos S.; Li, C.; Macione, J.; Yang, Z.; Fox, M. D.; Wu, D.; Laxminarayan, S. (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 

      Stylianou, Georgios; Chrysanthou, Yiorgos L. (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 ...