Now showing items 21-40 of 797

    • Extending the Reach of SAT with Many-Valued Logics 

      Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip; Gomes, Carla (Elsevier, 2001)
      We present Regular-SAT, an extension of Boolean Satisfiability based on a class of many-valued CNFform ulas. Regular-SAT shares many properties with Boolean SAT, which allows us to generalize some of the best known SAT ...
    • Capturing Structure with Satisfiability 

      Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip; Gomes, Carla (Springer Verlag, 2001)
      We present Regular-SAT, an extension of Boolean Satisfiability basedon a class of many-valuedCNF formulas. Regular-SAT shares many properties with Boolean SAT, which allows us to generalize some of the best known SAT ...
    • A Fully Scalable and Distributed Architecture for Video-on-Demand 

      Cores Prado, Fernando; Ripoll, A.; Luque, Emilio (Springer Verlag, 2001)
      In spite of the attractiveness of Video-on-demand (VoD) services, their implantation to the present has not been as widespread as could have been desired due to centralized VoD systems have a limited streaming capacity ...
    • Formalizing defeasible argumentation using a labeled deductive system 

      Chesñevar, Carlos Iván; Simari, Guillermo Ricardo (Iberoamerican Science & Technology Education Consortium, 2001)
      In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed ...
    • Coscheduling techniques and monitoring tools for non-dedicated cluster computing 

      Solsona Tehàs, Francesc; Giné, Francesc; Hernández Budé, Porfidio; Luque, Emilio (Iberoamerican Science & Technology Education Consortium, 2001)
      Our efforts are directed towards the understanding of the coscheduling mechanism in a NOW system when a parallel job is executed jointly with local workloads, balancing parallel performance against the local interactive ...
    • Pelambre con peróxido de hidrógeno como alternativa al pelambre reductor clásico 

      Bartolí, Ester; Morera Prat, Josep M.; Borràs Fillat, Maria Dolors; Marsal Monge, Agustí (Asociación Química Española de la Industria del Cuero, 2001)
      Se desarrolló un tipo de pelambre sin la presencia ni de sulfuro sódico ni de hidróxido cálcico que permitiera ahorrar el consumo de agua en la fase de ribera y que minimizase la contaminación en el agua residual vertida. ...
    • Axion thermalization in the early universe 

      Massó, Eduard; Rota, Francesc; Zsembinszki, Gabriel (American Physical Society, 2002)
      We reanalyze the conditions under which we have a primordial thermal population of axions. We extend a previous study and take into account processes involving gluons and quarks. We conclude that if the PecceiQuinn scale ...
    • Un modelo interactivo ubicuo aplicado al patrimonio natural y cultural del area del Montsec 

      Sendín Veloso, Montserrat; Granollers i Saltiveri, Toni; Lorés Vidal, Jesús; Aguiló, Carles; Balaguer, Alexandra (Asociación Española para la Inteligencia Artificial (AEPIA), 2002)
      En este artículo presentamos un entorno multimedia móvil y sensible al contexto, aplicado al patrimonio natural y cultural del área del Montsec. Se trata de una propuesta basada en una arquitectura ubícua, uno de los ...
    • Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: A comparative description 

      Alsinet, Teresa; Godó, Lluís; Sandri, Sandra (Elsevier, 2002)
      Possibilistic logic is a logic of uncertainty where a certainty degree between 0 and 1, interpreted as a lower bound of a necessity measure, is attached to each classical formula. In this paper we present a comparative ...
    • Adjusting the Lengths of Time Slices when Scheduling PVM Jobs with High Memory Requirements 

      Giné, Francesc; Solsona Tehàs, Francesc; Hernandez, Porfidio; Luque, Emilio (Springer Verlag, 2002)
      Our research is focussed on keeping both local and parallel jobs together in a non-dedicated cluster and scheduling them efficiently. In such systems, the overflow of the physical memory into the virtual memory usually ...
    • 128 x 128 CMOS Image Sensor With Analog Memory for Synchronous Image Capture 

      Chapinal, Genis; Bota, Sebastian A.; Moreno, Mauricio; Palacín Roca, Jordi; Herms, Atilà (Institute of Electrical and Electronic Engineers, 2002)
      A 128 x 128 CMOS imager that permits synchronous capture is presented. The sensor combines the best of CMOS imagers (low-power, random readout, nondestructive readout, single supply voltage…) and synchronous capture ...
    • The Effects of Coronary Occlusion Location on the RR Signal 

      Clarià Sancho, Francisco; Vallverdú, Montserrat; Caminal Magrans, Pere (Institute of Electrical and Electronics Engineers, 2002)
      In this article, we carry out the study of the energy contribution of theRRsignal in the three frequency bands (LF, MF, and HF) during PTCA. Furthermore, variables based on instantaneous frequency and on group delay ...
    • Adjusting Time Slices to Apply Coscheduling Techniques in a non-dedicated NOW 

      Giné, Francesc; Solsona Tehàs, Francesc; Hernandez, Porfidio; Luque, Emilio (Springer Verlag, 2002)
      Our research is focussed on keeping both local and parallel jobs together in a time-sharing NOW and efficiently scheduling them by means of coscheduling mechanisms. In such systems, the proper length of the time slice ...
    • Heat transfer enhancement in water when used as PCM in thermal energy storage 

      Cabeza, Luisa F.; Mehling, Harald; Hiebler, Stefan; Ziegler, F. (Elsevier Science, 2002)
      Efficient and reliable storage systems for thermal energy are an important requirement in many applications where heat demand and supply or availability do not coincide. Heat and cold stores can basically be divided in two ...
    • Resolución de Problemas en Ingeniería Utilizando Técnicas de Inteligencia Artificial 

      Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Manyà Serres, Felip (AEIM, 2002)
      En este artículo presentamos el temario para una asignatura sobre resolución de problemas en ingeniería utilizando técnicas de inteligencia artificial. Por un lado, el temario cubre diferentes métodos automáticos (algoritmos) ...
    • Towards an Automated Deduction System for First-Order Possibilistic Logic Programming with Fuzzy Constants 

      Alsinet, Teresa; Godo i Lacasa, Lluís (Wiley, 2002)
      In this article, we present a first-order logic programming language for fuzzy reasoning under possibilistic uncertainty and poorly known information. Formulas are represented by a pair (ϕ, α), in which ϕ is a first-order ...
    • Minimal and Redundant SAT Encodings for the All-Interval-Series Problem 

      Alsinet, Teresa; Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip (Springer Verlag, 2002)
      The SAT encodings defined so far for the all-interval-series (ais) problem are very hard for local search but rather easy for systematic algorithms. We define different SAT encodings for the ais problem and provide ...
    • Double P-Tree: A Distributed Architecture for Large-Scale Video-on-Demand 

      Cores Prado, Fernando; Ripoll, A.; Luque, Emilio (Springer Verlag, 2002)
      In order to ensure a more widespread implementation of video-ondemand (VoD) services, it is essential that the design of cost-effective largescale VoD (LVoD) architectures be able to support hundreds of thousands ...
    • AMEEDA: A general-purpose mapping tool for parallel applications on dedicated clusters 

      Yuan, X.; Roig Mateu, Concepció; Ripoll, A.; Senar, M.A.; Guirado Fernández, Fernando; Luque, Emilio (Springer Verlag, 2002)
      The mapping of parallel applications constitutes a difficult problem for which very few practical tools are available. AMEEDA has been developed in order to overcome the lack of a general-purpose mapping tool. The ...
    • Obtención de Modelos 3D a partir de Proyecciones Axonométricas 

      Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; López, M.; Manyà Serres, Felip (2002)
      En este artículo presentamos un método computacional para la resolución del problema de la interpretación de una escena 3D a partir de una proyección axonométrica de la misma. Si bien este problema había sido tratado ...