Enviaments recents

  • Examples of CF-bi-inmune and CF-levelable sets in LOGSPACE 

    Balcázar Navarro, José Luis; Díaz Cort, Josep; Gabarró Vallès, Joaquim (1984)
    Report de recerca
    Accés obert
    We find sets in the class LOGSPACE (on-line) that do not have good respectively approximations by context-free languages. For that we introduce the languages CF-bi-inmune and CF-levelable. We prove the results by defining ...
  • Connections among non uniform models for problems requiring high amount of resources 

    Balcázar Navarro, José Luis; Gabarró Vallès, Joaquim (1985-11)
    Report de recerca
    Accés obert
    We characterize in terms of oracle Turing machines the classes defined by exponential lower bounds on some nonuniform complexity measures. After, we use the same methods to give a new characterization of classes defined ...
  • Manual de POSTOFF : nueva versión 

    Balcázar Navarro, José Luis (1985)
    Report de recerca
    Accés obert
    Un programa adaptador de textos para que el formateador DSR Runoff se haga amiguete de la impresora LA100. Documentación correspondiente a la versión 3.0. Creado por José Luis Balcázar en la F.I.B. durante 1984.
  • Complements des facteurs gauches de mots infinis et ambiguité : quelques exemples 

    Autebert, Jean-Michel; Gabarró Vallès, Joaquim (1985)
    Report de recerca
    Accés obert
    On se propose d'utiliser la méthode que P. Flajolet a décrit pour prouver l'ambiguité du langage de Goldstine [5], afin de prouver l'ambiguité d'une série de langages du même type. Ces langages sont tous des complémentaires ...
  • Lenguajes de representación del conocimiento basados en frames: estudio comparativo 

    Abad Soriano, María Teresa; Armengol Voltas, Eva; Blanco, Miguel Ángel; Castell Ariño, Núria; Delgado, Lourdes; Garijo, Francisco J.; González, Juan; Martí Antonin, Maria Antònia; Ribas Framis, Francesc; Rodríguez Hontoria, Horacio; Urretavizcaya, Maite; Verdejo Maillo, Maria Felisa; Vila Grabulosa, Lluís (1987)
    Report de recerca
    Accés obert
    Este documento es el resultado del seminario de trabajo del grupo G.U.I.A. sobre herramientas de representación del conocimiento llevado a cabo desde Octubre del 86 a Junio del 87. El objetivo principal es establecer una ...
  • ALIS + MILORD 

    López de Mántaras, Ramon; Cortés García, Claudio Ulises; Plaza, Enric; Sierra, Carlos; Villar, Alfredo (1985)
    Report de recerca
    Accés obert
    Aquest report desenvolupa les dues vessants principals en el camp de l'enginyeria de coneixements i una metodologia per a l'adquisició de l'expertesa i el disseny i implementació de diversos motors d'interferència. La ...
  • On some "non uniform" complexity measures 

    Balcázar Navarro, José Luis; Díaz Cort, Josep; Gabarró Vallès, Joaquim (1985)
    Report de recerca
    Accés obert
    Non-uniform complexity measures origined in Automata and Formal Languages Theory are characterized in terms of well-known uniform complexity classes. The initial index of languages is introduced by means of several ...
  • Diameter minimization in networks for SIMD machines 

    Beivide Palacio, Ramon; Balcázar Navarro, José Luis (1985)
    Report de recerca
    Accés obert
    We propose an algebraic constructive method which allows to find a certain kind of networks having optimal diameter. These interconnection networks have been proposed for SIMD machines. We compare the results with other ...
  • Dos problemas 

    Gabarró Vallès, Joaquim (1985-09)
    Report de recerca
    Accés obert
  • About log-on languages : preliminary version 

    Cases Muñoz, Rafael; Gabarró Vallès, Joaquim (1985)
    Report de recerca
    Accés obert
    We deal with on-line log-space Turing Machines with markers in the work tapes. In this type of machines we prove the existence of a language L satisfying L ϵ NSPACE_s (log⁡ n) , L ̅ ϵ NSPACE_s (log⁡ n) and L ϵ NSPACE_s ...
  • Uniform characterizations of non-uniform complexity measures 

    Balcázar Navarro, José Luis; Díaz Cort, Josep; Gabarró Vallès, Joaquim (1985)
    Report de recerca
    Accés obert
    The class PSPACE/ply of sets decided within polynomial space by machines with polynomial advices is characterized in several way: we give an algebraic characterization, a parallel model characterization. Finally we define ...
  • Keeping control transfer instructions out of the pipeline in architectures without condition codes 

    Cortadella Fortuny, Jordi; Llaberia Griñó, José M.; González Colás, Antonio María (1987-05)
    Report de recerca
    Accés obert
    The execution of branch instructions involves a loss of performance in pipelined processors. In this paper we present a mechanism for executing this kind of instruction with a zero delay. This mechanism has been proposed ...

Mostra'n més