Exploració per títol

Ara es mostren els items 26871-26890 de 245706

    • Automatic ventricle segmentation using CNNs in cardiac MRI 

      Garcia Cabrera, Carles (Universitat Politècnica de Catalunya, 2019-01-24)
      Treball Final de Grau
      Accés obert
      Realitzat a/amb:   University of Auckland
      Cardiac magnetic resonance imaging has been proven to be a great aid tool in clinical diagnosis. Computational models arising from these images have been developed for many years by engineers, radiologists and clinicians. ...

    • Automatic verification of programs: algorithm ALICE 

      Palasí Lallana, Vicent Ramon (1996-06)
      Report de recerca
      Accés obert
      This paper aims to introduce a method for verification of programs, which is fully automatic. This method consists in an algorithm called ALICE which, given a program and an algebraic specification, answers if the ...

    • Automatic vessel monitoring with single and multidimensional SAR images in the wavelet domain 

      Tello Alonso, Mª Victoria; López Martínez, Carlos; Mallorquí Franquet, Jordi Joan (ELSEVIER SCIENCE BV, 2006-12-31)
      Article
      Accés obert
      Spaceborne Synthetic Aperture Radar (SAR) techniques constitute an extremely promising alternative compared to traditional surveillance methods thanks to the all-weather and day-and-night capabilities of Radar linked with ...

    • Automatic video annotation with forests of fuzzy decision trees 

      Detyniecki, Marcin; Marsala, Christophe (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2008)
      Article
      Accés obert
      Nowadays, the annotation of videos with high-level semantic concepts or features is a great challenge. In this paper, this problem is tackled by learning, by means of Fuzzy Decision Trees (FDT), automatic rules based on ...

    • Automatic view selection through depth-based view stability analysis 

      Vázquez Alcocer, Pere Pau (Springer, 2009-05)
      Article
      Accés restringit per política de l'editorial
      Although the real world is composed of three-dimensional objects, we communicate information using two-dimensional media. The initial 2D view we see of an object has great importance on how we perceive it. Deciding which ...

    • Automatic view selection using viewpoint entropy and its application to image-based modelling 

      Vázquez Alcocer, Pere Pau; Feixas, Miquel; Sbert Cassasayas, Mateu; Heidrich, Wolfgang (North Holland, 2003)
      Article
      Accés restringit per política de l'editorial
      In the last decade a new family of methods, namely Image-Based Rendering, has appeared. These techniques rely on the use of precomputed images to totally or partially substitute the geometric representation of the scene. ...

    • Automatic warehouse modeling and simulation 

      Guasch Petit, Antonio; Piera, MA; Figueras Jové, Jaume (2009)
      Text en actes de congrés
      Accés restringit per decisió de l'autor
      In this paper we analyze the impact of using a second transelevator in the performance of a printing plant automatic warehouse. A direct previous attempt to use the second transelevator was not successful since both ...

    • Automatic warehouse modelling and simulation 

      Guasch Petit, Antonio; Piera Eroles, Miguel Angel; Figueras Jové, Jaume (2011)
      Article
      Accés restringit per decisió de l'autor
      The newspaper production/distribution problem (NDP) involves a perishable good. Newspaper publishers cannot print the news sections of newspapers in advance, as they must be up to date. Additionally, delivery must be ...

    • Automatic, efficient and scalable provenance registration for FAIR HPC workflows 

      Sirvent Pardell, Raül; Conejero Bañón, Francisco Javier; Lordan Gomis, Francesc; Ejarque Artigas, Jorge; Rodríguez Navas, Laura; Fernández González, José María; Capella Gutiérrez, Salvador; Badia Sala, Rosa Maria (Institute of Electrical and Electronics Engineers (IEEE), 2022)
      Text en actes de congrés
      Accés obert
      Provenance registration is becoming more and more important, as we increase the size and number of experiments performed using computers. In particular, when provenance is recorded in HPC environments, it must be efficient ...

    • Automatically configuring parallelism for hybrid layouts 

      Munir, Rana Faisal; Abelló Gamazo, Alberto; Romero Moral, Óscar; Thiele, Maik; Lehner, Wolfgang (Springer, 2019)
      Comunicació de congrés
      Accés obert
      Distributed processing frameworks process data in parallel by dividing it into multiple partitions and each partition is processed in a separate task. The number of tasks is always created based on the total file size. ...

    • Automatically extracting relations between clinical findingand treatment from clinical texts 

      Dou, Yunxuan (Universitat Politècnica de Catalunya, 2019-01)
      Projecte Final de Màster Oficial
      Accés obert
      Automatically extracted the relations between the clinical findings and treatments in EMRs. It is a process of detecting and classifying the semantic relation between entities in medical texts. We built a supervised SVM ...

    • Automatically extracting translation links using a wide coverage semantic taxonomy 

      Rigau Claramunt, German; Rodríguez Hontoria, Horacio; Turmo Borras, Jorge (1995-01-01)
      Report de recerca
      Accés obert
      TGE (Tlink Generator Environment) is a system for semi-automatically extracting translation links. The system was developed within the ACQUILEX II project as a tool for supporting the construction of a multi-lingual lexical ...

    • Automatically imposing incremental boundary displacements for valid mesh morphing and curving 

      Ruiz Gironès, Eloi; Gargallo Peiró, Abel; Sarrate Ramos, Josep; Roca, Xevi (2019-07)
      Article
      Accés obert
      We present a new incremental mesh morphing method obtained by proposing and discretizing a solution procedure for the continuous morphing problem. Our method seeks a diffeomorphism that transforms an initial domain to a ...

    • Automatically populating virtual environments with cinematographic cameras 

      Jovane, Alberto (Universitat Politècnica de Catalunya, 2019-10-23)
      Projecte Final de Màster Oficial
      Accés restringit per acord de confidencialitat
      Realitzat a/amb:   Inria Rennes

    • Automating adaptive execution behaviors for robot manipulation 

      Ruiz Celada, Oriol; Verma, Parikshit; Rosell Gratacòs, Jan; Diab, Mohammed (Institute of Electrical and Electronics Engineers (IEEE), 2022)
      Article
      Accés obert
      Robotic manipulation in semi-structured and changing environments requires systems with: a) perception and reasoning capabilities able to capture and understand the state of the environment; b) planning and replanning ...

    • Automating CFD processes for aerodynamic analysis in VLEO through the integration of Sparta DSMC into Python 

      Krüger, Lucas Alexandre (Universitat Politècnica de Catalunya, 2023-07-17)
      Projecte Final de Màster Oficial
      Accés restringit per acord de confidencialitat

    • Automating installation, testing and development of bcbio-nextgen pipeline 

      Carrasco Hernandez, Guillermo (Universitat Politècnica de Catalunya, 2013-06-26)
      Projecte/Treball Final de Carrera
      Accés obert
      In the recent years, the costs of obtaining biological data have been drastically reduced. This has lead into an exponential growth of the available data. Having such growth of data to analyze sometimes results in ...

    • Automating resolution is NP-Hard 

      Atserias, Albert; Muller, Moritz Martin (2020-09)
      Article
      Accés obert
      We show that the problem of finding a Resolution refutation that is at most polynomially longer than a shortest one is NP-hard. In the parlance of proof complexity, Resolution is not automatable unless P = NP. Indeed, we ...

    • Automating Resolution is NP-hard 

      Atserias, Albert; Muller, Moritz Martin (Institute of Electrical and Electronics Engineers (IEEE), 2019)
      Text en actes de congrés
      Accés obert
      We show that the problem of finding a Resolution refutation that is at most polynomially longer than a shortest one is NP-hard. In the parlance of proof complexity, Resolution is not automatizable unless P = NP. Indeed, ...

    • Automating root-cause analysis of network anomalies using frequent itemset mining 

      Paredes Oliva, Ignasi; Dimitropoulos, Xenofontas; Molina, Maurizio; Barlet Ros, Pere; Brauckhoff, Daniela (ACM Press. Association for Computing Machinery, 2010)
      Comunicació de congrés
      Accés obert
      Finding the root-cause of a network security anomaly is essential for network operators. In our recent work [1, 5], we introduced a generic technique that uses frequent itemset mining to automatically extract and summarize ...