Página 8 dos resultados de 2156 itens digitais encontrados em 0.006 segundos

Dedução automática por tableaux estruturada em XML

Brito, Parcilene Fernandes de
Fonte: Florianópolis, SC Publicador: Florianópolis, SC
Tipo: Dissertação de Mestrado Formato: xiv, 108 f.| il.
POR
Relevância na Pesquisa
36.84%
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.; Este trabalho tem como objetivo descrever o desenvolvimento de um provador de teoremas segundo o Método dos Tableaux. Para isso, foram propostos dois refinamentos com o intuito de tornar o método mais eficiente durante as etapas de prova. Esses refinamentos tratam da ordenação das fórmulas e da instanciação das variáveis, buscando diminuir a inserção de elementos na árvore, propiciando, assim, uma maior eficiência em relação ao número de nós. A linguagem Java foi utilizada para a implementação do provador, possibilitando a manipulação das fórmulas estruturadas como documentos XML. Ao final do trabalho, é verificada a eficiência do provador através da comparação com outros provadores em relação à sistematização das suas etapas de prova e dos resultados obtidos.

Constraining XML topic maps with XTche

Librelotto, Giovani Rubert; Ramalho, José Carlos; Henriques, Pedro Rangel
Fonte: Universidade do Minho Publicador: Universidade do Minho
Tipo: Conferência ou Objeto de Conferência
Publicado em 10/02/2005 ENG
Relevância na Pesquisa
36.84%
This paper presents a process for specifying constraints on topic maps with a constraint language. This language allows to express contextual conditions on classes of Topic Maps. With XTche, a topic map designer defines a set of restrictions that enables to verify if a particular topic map is semantically valid. As the manual checking of large topic maps (frequent in real cases) is impossible, it is mandatory to provide an automatic validator. The constraining process presented in this paper is composed by a language and a processor. The language is based on XML Schema syntax. The processor is developed in XSLT language. The XTche processor takes a XTche specification and it generates a particular XSLT stylesheet. This stylesheet can validate a specific topic map (or a set of them) according to the constraints in the XTche specification. In this paper we will show, in abstract terms and with concrete examples, how to specify Topic Maps schemas and constraints with XTche.; Microsoft

XATA2007 : XML : aplicações e tecnologias associadas

Ramalho, José Carlos; Lopes, João Correia; Carriço, Luís
Fonte: Universidade do Minho Publicador: Universidade do Minho
Tipo: Conferência ou Objeto de Conferência
Publicado em 15/02/2007 POR
Relevância na Pesquisa
36.84%
Esta é a quinta conferência sobre XML e Tecnologias Associadas. Continuando uma política de descentralização a XATA vai, desta vez, visitar a capital. Com a organização local da responsabilidade do Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa, a XATA vai ocorrer nos dias 15 e 16 de Fevereiro nas instalações da Faculdade de Ciências. Relativamente à submissão de trabalhos pudemos constatar o seguinte: já há um conhecimento do âmbito e contexto da XATA o que se traduz nos objectivos dos trabalhos apresentados; o processo de revisão decorreu sem precalços não tendo ocorrido, pela primeira vez, nenhuma falha por parte dos revisores; esta edição não foi excepção à tendência nacional nas restantes conferências e registou também uma acentuada quebra no número de trabalhos submetidos. Queria aqui destacar o trabalho de qualidade feito pelos revisores que permitiu aos autores melhorarem substancialmente os seus trabalhos e mesmo para aqueles que viram os seus trabalhos recusados, as críticas que receberam irão permitir, com certeza, orientar melhor o sentido do seu trabalho. Na reunião da Comissão Científica onde foi feita a selecção final dos trabalhos foi delineado também o programa que depois de uns acertos ficou com a seguinte configuração final.

XML :: TMX : processamento de memórias de tradução de grandes dimensões

Almeida, J. J.; Simões, Alberto
Fonte: Universidade do Minho Publicador: Universidade do Minho
Tipo: Conferência ou Objeto de Conferência
Publicado em /02/2007 POR
Relevância na Pesquisa
36.84%
As ferramentas de tradução assistida por computador tentam reutilizar as traduções realizadas pelo tradutor sempre que uma frase semelhante tenha sido já traduzida. Para o intercâmbio destes documentos foi definido um formato denominado TMX (Translation Memory Exchange) baseado em XML. Este tipo de documento ganha facilmente tamanhos incomportáveis para o seu processamento com métodos tradicionais. Neste artigo propomos uma metodologia de ordem superior para o processamento de documentos de estrutura repetitiva (em que se inserem as memórias de tradução) com uma abordagem baseada na conjunção de SAX e DOM. São apresentados vários exemplos de filtros sobre memórias de tradução bem como um conjunto de medidas da sua eficiência.; Este trabalho foi parcialmente financiado pela Fundação para a Ciência e Tecnologia de Portugal pela bolsa POSI/PLP/43931/2001, e co-financiado pelo POSI, dentro da Linguateca.

A Semantic Web pragmatic approach to develop Clinical ontologies, and thus Semantic Interoperability, based in HL7 v2.xml messaging

Mendes, David; Rodrigues, Irene Pimenta
Fonte: IGI Global Publicador: IGI Global
Tipo: Parte de Livro
POR
Relevância na Pesquisa
36.84%
The ISO/HL7 27931:2009 standard intends to establish a global interoperability framework for Healthcare applications. However, being a messaging related protocol, it lacks a semantic foundation for interoperability at a machine treatable level has intended through the Semantic Web. There is no alignment between the HL7 V2.xml message payloads and a meaning service like a suitable ontology. Careful application of Semantic Web tools and concepts can ease extremely the path to the fundamental concept of Shared Semantics. In this paper the Semantic Web and Artificial Intelligence tools and techniques that allow aligned ontology population are presented and their applicability discussed. We present the coverage of HL7 RIM inadequacy for ontology mapping and how to circumvent it, NLP techniques for semi-automated ontology population and discuss the current trends about knowledge representation and reasoning that concur to the proposed achievement.

Um mecanismo autom??tico para detectar vers??es de objetos XML provenientes de bibliotecas digitais

Borges, Eduardo Nunes; Galante, Renata de Matos
Fonte: Universidade Federal do Rio Grande Publicador: Universidade Federal do Rio Grande
Tipo: Conferência ou Objeto de Conferência
POR
Relevância na Pesquisa
36.84%
Artigos cient??ficos indexados por diferentes bibliotecas digitais podem estar representados de diferentes formas. Os metadados que descrevem estes artigos s??o heterog??neos. Visando melhorar a qualidade da pesquisa do usu??rio de bibliotecas digitais, fornecendo uma resposta precisa e livre de redund??ncia, este trabalho apresenta um mecanismo que realiza a detec????o autom??tica de vers??es de objetos XML provenientes de diferentes bibliotecas digitais. S??o propostas duas fun????es de similaridade: nomesIni e simNomes. Essas fun????es comparam os nomes dos autores, que junto ao t??tulo do artigo, possuem papel fundamental na identifica????o de vers??es. Al??m disso, os autores s??o metadados que possuem in??meras representa????es distintas. Adicionalmente, algoritmos cl??ssicos s??o usados para calcular a similaridade entre os demais metadados. Por fim, foram realizados experimentos visando a valida????o da detec????o de vers??es que demonstraram a efic??cia das fun????es propostas tanto na detec????o (atrav??s de medidas de precis??o e revoca????o), quanto no tempo de processamento.

XFAM - Vocabulário XML para fiscalização : facilitação aduaneira do Mercosul

Batista de Carvalho Junior, Osmar; Souto Maior de Barros, Roberto (Orientador)
Fonte: Universidade Federal de Pernambuco Publicador: Universidade Federal de Pernambuco
Tipo: Outros
PT_BR
Relevância na Pesquisa
36.84%
A globalização é hoje uma realidade irreversível e vem provocando significativas modificações no cenário mundial, notadamente no mundo das relações econômicas. Estas, por sua vez, tornam-se ainda mais complexas e abrangentes, não podendo ser entendidas de forma minimalista. Neste contexto, torna-se premente que as Administrações Aduaneiras (Aduanas) dos países-membros do Mercosul sejam capazes de se adaptar, num processo contínuo, a este e novos cenários insurgentes, caso contrário não serão capazes de cumprir de maneira satisfatória as suas funções. A tendência da economia mundial conduz à necessidade de se ter uma visão sistêmica deste universo e um conhecimento globalizado dos perfis de contribuintes, os quais poderão se apresentar com constantes mutações . Neste panorama, far-se-á necessária uma integração sistematizada das Aduanas como pré-condição para que possam atingir níveis satisfatórios de eficácia e eficiência, viabilizando com isto a minoração dos problemas e irregularidades existentes na área aduaneira. Adicionalmente, as Aduanas modernas têm adotado um regime de parceria com os setores da iniciativa privada relacionados ao comércio exterior através do estabelecimento de um relacionamento com base em confiança mútua e objetivos comuns...

Um framework para extração de informações: uma abordagem baseada em XML

Medeiros Cabral, Davi; Souto Maior de Barros, Roberto (Orientador)
Fonte: Universidade Federal de Pernambuco Publicador: Universidade Federal de Pernambuco
Tipo: Outros
PT_BR
Relevância na Pesquisa
36.84%
Com o crescimento da Internet, muitas informações vêm se tornando rapidamente disponíveis, a cada ano, devido à facilidade do processo de publicação digital. Porém, a existência de diferentes formatos de representação (HTML, PS, RTF, etc.) e de conteúdo (estruturado, semi-estruturado e livre) torna o gerenciamento eficiente de documentos uma tarefa altamente complexa. Os atuais tratamentos de busca são pouco eficientes, deixando a obtenção das informações contidas no documento a cargo da atividade humana. Dentro dessa conjuntura, destacam-se os sistemas de Extração de Informação para obtenção de informações encontradas em documentos-texto, visando à realização de um processamento posterior. Porém, tais sistemas ainda são muito difíceis de ser desenvolvidos, exigindo conhecimentos de especialistas em Inteligência Artificial e no domínio dos documentos a serem analisados. Tal complexidade estimulou as pesquisas de sistemas, cada vez mais, genéricos para os mais variados domínios de textos simples e HTML. Contudo, para diferentes fontes de entrada e saída e formatos de documentos utilizados, pouco ou nenhum cuidado vem sendo dado em relação à flexibilidade e extensibilidade desses sistemas. Esta dissertação propõe um framework...

Um gerador automático de páginas na internet para professores da universidade federal de lavras usando xml

Fonte: Universidade Federal de Lavras Publicador: Universidade Federal de Lavras
Tipo: Trabalho de Conclusão de Curso
PT_BR
Relevância na Pesquisa
36.84%
The use of the Web has been increasing in the last years, because it offers to its authors the easiness to distribute its electronic documents for a group of users in constant growth, and with low cost. The documents of the Web are each time more complex and the users start to feel a great limitation in the manipulation of these documents and the lack of enough knowledge for their creation. The main problem to be decided is to fill the gap between the resources that the university offers and the lack of their use by the professors, in other words, the work tries to solve the problem of the professors who do not possess a Personal Home Page, even though they find its use as of great importance, but they do not possess knowledge or enough time for its development. The contribution was to create an Automatic Generator of Pages in the internet for the professors of the Federal University of Lavras, where the only work for the professors is to fill in a form with the data that will be put available in the Page, and then, to make a register in cadastre. These data are stored in a Data base for the professors; out of these datas and the use of language XML, the Personal Pages of each professor were mounted.

Libraries and Information Systems Need XML/RDF... but Do They Know It?

Méndez Rodríguez, Eva María
Fonte: Universidade Carlos III de Madrid Publicador: Universidade Carlos III de Madrid
Tipo: Artigo de Revista Científica Formato: application/pdf; application/octet-stream; application/octet-stream; application/octet-stream; text/plain
Publicado em /02/2005 ENG; ENG
Relevância na Pesquisa
36.84%
This article presents an approach to the uses of XML (eXtensible Markup Language) and Semantic Web technologies in the field of information services, focusing mainly on the creation and management of digital libraries compared to traditional libraries, while paying special attention to the concept and application of metadata, and RDF based integration.

Una propuesta para el tratamiento documental de las resoluciones judiciales en España haciendo uso de tecnologías XML

Nogales Flores, Tomás; Martín Galán, Bonifacio; Arellano Pardo, María del Carmen
Fonte: Col.legi oficial de Biblitecaris-Documentalistes de Catalunya Publicador: Col.legi oficial de Biblitecaris-Documentalistes de Catalunya
Tipo: Artigo de Revista Científica Formato: application/msword; application/octet-stream; application/octet-stream; application/octet-stream; text/plain
Publicado em //2003 SPA; SPA
Relevância na Pesquisa
36.84%
Se presentan los principales resultados obtenidos en la aplicación de las tecnologías XML a las resoluciones judiciales emanadas de distintos órganos judiciales españoles, fruto de un estudio realizado por profesores de las áreas de Biblioteconomía y Documentación e Ingeniería telemática de la Universidad Carlos III de Madrid, en el marco de un contrato de asesoría para la empresa PSd (Proyectos y Servicios Documentales, S.L.) y cuyo destinatario final es el CENDOJ (Centro de Documentación Judicial) del CGPJ (Consejo General del Poder Judicial). La iniciativa parte del CENDOJ, en un intento de racionalizar y mejorar la eficacia y eficiencia de sus sistemas de archivo y recuperación de las resoluciones judiciales que le llegan desde los diversos órganos judiciales, ante la inminencia del comienzo de sus funciones como Archivo Nacional de Sentencias y la necesidad de dar difusión pública a dichas resoluciones.

Difusión y recuperación en la Web de documentos jurisprudenciales haciendo uso de la tecnología XML

Nogales Flores, Tomás; Martín Galán, Bonifacio
Fonte: Instituto de Información Científica y Técnica (Cuba) Publicador: Instituto de Información Científica y Técnica (Cuba)
Tipo: Artigo de Revista Científica Formato: application/pdf; text/plain
Publicado em //2002 SPA
Relevância na Pesquisa
36.84%
El incremento exponencial de documentos de carácter jurídico, entendiendo por tales principalmente los legislativos y los jurisprudenciales, que se produce año tras año en todos los países del mundo obliga a los distintos poderes del Estado a encontrar mecanismos que satisfagan de manera adecuada la obligación de dichos poderes al cumplimiento de publicidad y difusión de estos documentos. De igual importancia resulta la búsqueda de métodos y técnicas idóneas por las que los administrados de un país puedan acceder de la forma más sencilla y precisa posible a la información jurídica contenida materia de su interés. En el caso particular de los documentos jurídicos emanados de los distintos tribunales de un país, la importancia de su difusión y recuperación resultan de importancia capital. Esta importancia del documento judicial procede tanto del hecho de convertir a los jueces y magistrados en legisladores negativos, en cuanto que les permite en algunos casos especiales eliminar del ordenamiento la ley inconstitucional o el reglamento ilegal, como, y de forma especial, de la necesidad de uniformizar la aplicación judicial del derecho, hecho éste que ha llevado a sujetarla a reglas elaboradas por la cúspide de la propia organización judicial...

Informática, Derecho y Documentación. Experiencias y posibilidades de aplicación de los lenguajes de marcado de texto (SGML, HTML y XML) a los documentos jurídicos

Nogales Flores, Tomás; Martín Galán, Bonifacio; Arellano Pardo, María del Carmen
Fonte: Instituto de Informática Jurídica (Univ. Pontificia de Comillas) Publicador: Instituto de Informática Jurídica (Univ. Pontificia de Comillas)
Tipo: Artigo de Revista Científica Formato: application/pdf; text/plain; application/octet-stream; application/octet-stream; application/octet-stream
Publicado em //2003 SPA; SPA
Relevância na Pesquisa
36.84%
Los lenguajes de marcado de texto pueden ser contemplados como una tecnología complementaria o alternativa a las bases de datos documentales convencionales, presentando ventajas notables sobre éstas para la gestión de colecciones de documentos extensos, con estructura compleja y variable y abundantes referencias cruzadas, como es el caso de los documentos jurídicos. Se exponen experiencias de tratamiento y difusión de documentación jurídica en diversos países, haciendo uso de lenguajes de marcado como SGML, HTML y XML, así como las llevadas a cabo desde hace varios años por un equipo de trabajo del Departamento de Biblioteconomía y Documentación de la Universidad Carlos III de Madrid, que han tomado la forma de contratos de asesoría con empresas, proyectos de investigación con financiación pública o tesis doctorales.

Aplicaciones de XML para la documentación periodística : efectos sobre los centros de documentación de prensa

Rodríguez Mateos, David
Fonte: Universidade Carlos III de Madrid Publicador: Universidade Carlos III de Madrid
Tipo: Tese de Doutorado Formato: application/pdf; application/pdf; text/plain
SPA
Relevância na Pesquisa
36.84%
En la actualidad, los centros de documentación de medios periodísticos se ven sometidos a una serie de cambios: trabajan con contenidos digitales, fácilmente identificables, describibles, divisibles y reutilizables. Además, al difundir esos contenidos a través de Internet, disponen de un mayor número potencial de usuarios, que reclaman más información, más comprensible, en menos tiempo y en cualquier momento. La solución propuesta consiste en elaborar una representación documental única de contenidos periodísticos que haga posible su uso futuro por cualquier usuario con cualquier necesidad. Esa representación debe ser, por lo tanto, detallada, pero también flexible. La herramienta técnica a emplear es el marcado de texto mediante XML, a través de lenguajes que se extienden entre los medios. Con ello, se puede representar la estructura de un documento y, al tiempo, el significado del contenido de cada una de sus partes. El trabajo pretende justificar el uso de este marcado y de los lenguajes mencionados, mostrando todas sus capacidades desde un punto de vista documental. Asimismo, se ofrece un modelo de aplicación concreto, que permite integrar el trabajo de los periodistas con el de los documentalistas de un modo complementario...

Tendencias y usos de XML en Biblioteconomía y Documentación

Martinez-Avila, Daniel
Fonte: Universidade Carlos III de Madrid Publicador: Universidade Carlos III de Madrid
Tipo: Trabalho em Andamento Formato: application/pdf
Publicado em /03/2008 SPA
Relevância na Pesquisa
36.84%
Se recorren algunas de las tendencias de uso de la tecnología XML en el mundo de las bibliotecas y otros centros de información, centrándose sobre todo en algunos trabajos de investigación que las retraten, y repasándose principalmente las tesis leídas en el Departamento de Biblioteconomía Y Documentación de la Universidad Carlos III de Madrid.

An XML-based knowledge management system of port information for U.S. Coast Guard Cutters

Stewart, Jeffrey D.
Fonte: Monterey, California. Naval Postgraduate School Publicador: Monterey, California. Naval Postgraduate School
Tipo: Tese de Doutorado Formato: xvi, 105 p. : ill. (some col.) ;
Relevância na Pesquisa
36.84%
Approved for public release; distribution is unlimited; This thesis describes the development of a prototype application which collects, manages, and distributes knowledge gained by Coast Guard cutter crews making port calls throughout the world. The system uses XML technologies in server/client and stand alone environments. With a web browser, the user views and navigates the system's content from a downloaded file collection or from a centralized data source via a network connection. Users add and modify content with Hypertext Markup Language (HTML) forms using their existing network connections. Client-side data access and navigation, as well as data storage, is performed using non-proprietary standards developed by the World Wide Web Consortium (W3C) and the Internet Engineering Task Force (IETF). The prototype application's purpose is to fulfill the strategic goal of achieving superiority of maritime domain awareness over the areas in which the Coast Guard operates. The need for this application is based upon the lack of specific information from currently available reference publications, the absence of a system to distribute port call knowledge, and the data bandwidth limitations of cutters at sea. The need for knowledge retention aboard cutters is elevated by shortened crewmember assignment lengths due to the stressful and arduous duties of life at sea.; Lieutenant...

XML Technology Assessment - Progress Report (7/18/2000 - 12/31/2000)

Valdis, Andris Berzins
Fonte: Monterey, California. Naval Postgraduate School Publicador: Monterey, California. Naval Postgraduate School
Tipo: Relatório
Relevância na Pesquisa
36.84%
The views, opinions and/or findings contained in this report are not those of the author(s) and should not be construed as an official Department of the Navy position, policy or decision, unless so designed by other documentation.; Objectives of this project are to assess the use of XML in reconciling the different formats of the same object in DoD database systems. We leveraged ongoing NPS faculty and graduate students' efforts on providing conceptual models and model-based experiments to address this objective.; Prepared for: Joint C4ISR Battle Center 116 Lake View Parkway, Suite 150 Suffolk, VA 23435-2697; N47783000WRRD460

Relational database preservation through XML modelling

Ramalho, José Carlos; Ferreira, Miguel; Faria, Luís; Castro, Rui
Fonte: Universidade do Minho Publicador: Universidade do Minho
Tipo: Conferência ou Objeto de Conferência
Publicado em /08/2007 ENG
Relevância na Pesquisa
36.84%
Digital Archives are complex structures composed of human resources, state of the art technologies, policies and data. Due to the heritage keeping role that archives assume in our society, it is important to make sure that, the data that is produced by our organizations is preserved accordingly in order do document is activity and provide evidence of their activities. Information stored in an archive must be treated differently than other types of information because it is kept with the purpose of providing evidence of some organizations activity. Due to this fact some properties should be preserved for long periods of time: integrity, liability and authenticity. The preservation of this information extremely complex as digital objects are far from being stable. They are software and hardware dependent. Normally, their auto-preservation period is about 5 years. In this context digital preservation practices become very important and should be part of the institution's planning. The problem is how to keep digital objects in such a way that their information is accessible long past their auto-preservation period. RODA (Repository of Authentic Digital Objects) is a joint venture between public administration and academic researchers that aims to become the public administration repository. A repository where users can rely on digital objects authenticity and where digital objects are expected to endure long beyond the 5 years expectation. For the first prototype three kinds of digital objects were considered: text documents...

SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions

GROSOF, BENJAMIN; POON, TERRENCE C.
Fonte: MIT - Massachusetts Institute of Technology Publicador: MIT - Massachusetts Institute of Technology
Tipo: Trabalho em Andamento Formato: 566767 bytes; application/pdf
EN_US
Relevância na Pesquisa
36.84%
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the emerging standard for Semantic Web XML rules. Here, we newly extend the SweetDeal approach by also incorporating process knowledge descriptions whose ontologies are represented in DAML+OIL (the close predecessor of W3C's OWL, the emerging standard for Semantic Web ontologies), thereby enabling more complex contracts with behavioral provisions, especially for handling exception conditions (e.g., late delivery or non-payment) that might arise during the execution of the contract. This provides a foundation for representing and automating deals about services – in particular, about Web Services, so as to help search, select, and compose them. We give a detailed application scenario of late delivery in manufacturing supply chain management (SCM). In doing so, we draw upon our new formalization of process ontology knowledge from the MIT Process Handbook, a large, previously-existing repository used by practical industrial process designers. Our system is the first to combine emerging Semantic Web standards for knowledge representation of rules (RuleML) with ontologies (DAML+OIL/OWL) with each other...

Entities XML example

Houssos, Nikos; Karaiskos, Dimitris
Fonte: euroCRIS Publicador: euroCRIS
Tipo: Software
EN
Relevância na Pesquisa
36.84%
Accompanying material of CERIF API specification v1.0; XML example of CERIF API v1.0 call that returns information about all CERIF entities