9 resultados para Logic, Symbolic and mathematical

em Universidad de Alicante


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper outlines the approach adopted by the PLSI research group at University of Alicante in the PASCAL-2006 second Recognising Textual Entailment challenge. Our system is composed of several components. On the one hand, the first component performs the derivation of the logic forms of the text/hypothesis pairs and, on the other hand, the second component provides us with a similarity score given by the semantic relations between the derived logic forms. In order to obtain this score we apply several measures of similitude and relatedness based on the structure and content of WordNet.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper describes a CL-SR system that employs two different techniques: the first one is based on NLP rules that consist on applying logic forms to the topic processing while the second one basically consists on applying the IR-n statistical search engine to the spoken document collection. The application of logic forms to the topics allows to increase the weight of topic terms according to a set of syntactic rules. Thus, the weights of the topic terms are used by IR-n system in the information retrieval process.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Iterative Closest Point algorithm (ICP) is commonly used in engineering applications to solve the rigid registration problem of partially overlapped point sets which are pre-aligned with a coarse estimate of their relative positions. This iterative algorithm is applied in many areas such as the medicine for volumetric reconstruction of tomography data, in robotics to reconstruct surfaces or scenes using range sensor information, in industrial systems for quality control of manufactured objects or even in biology to study the structure and folding of proteins. One of the algorithm’s main problems is its high computational complexity (quadratic in the number of points with the non-optimized original variant) in a context where high density point sets, acquired by high resolution scanners, are processed. Many variants have been proposed in the literature whose goal is the performance improvement either by reducing the number of points or the required iterations or even enhancing the complexity of the most expensive phase: the closest neighbor search. In spite of decreasing its complexity, some of the variants tend to have a negative impact on the final registration precision or the convergence domain thus limiting the possible application scenarios. The goal of this work is the improvement of the algorithm’s computational cost so that a wider range of computationally demanding problems from among the ones described before can be addressed. For that purpose, an experimental and mathematical convergence analysis and validation of point-to-point distance metrics has been performed taking into account those distances with lower computational cost than the Euclidean one, which is used as the de facto standard for the algorithm’s implementations in the literature. In that analysis, the functioning of the algorithm in diverse topological spaces, characterized by different metrics, has been studied to check the convergence, efficacy and cost of the method in order to determine the one which offers the best results. Given that the distance calculation represents a significant part of the whole set of computations performed by the algorithm, it is expected that any reduction of that operation affects significantly and positively the overall performance of the method. As a result, a performance improvement has been achieved by the application of those reduced cost metrics whose quality in terms of convergence and error has been analyzed and validated experimentally as comparable with respect to the Euclidean distance using a heterogeneous set of objects, scenarios and initial situations.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Answer Validation Exercise (AVE) is a pilot track within the Cross-Language Evaluation Forum (CLEF) 2006. The AVE competition provides an evaluation frame- work for answer validations in Question Answering (QA). In our participation in AVE, we propose a system that has been initially used for other task as Recognising Textual Entailment (RTE). The aim of our participation is to evaluate the improvement our system brings to QA. Moreover, due to the fact that these two task (AVE and RTE) have the same main idea, which is to find semantic implications between two fragments of text, our system has been able to be directly applied to the AVE competition. Our system is based on the representation of the texts by means of logic forms and the computation of semantic comparison between them. This comparison is carried out using two different approaches. The first one managed by a deeper study of the Word- Net relations, and the second uses the measure defined by Lin in order to compute the semantic similarity between the logic form predicates. Moreover, we have also designed a voting strategy between our system and the MLEnt system, also presented by the University of Alicante, with the aim of obtaining a joint execution of the two systems developed at the University of Alicante. Although the results obtained have not been very high, we consider that they are quite promising and this supports the fact that there is still a lot of work on researching in any kind of textual entailment.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Comunicación presentada en Cross-Language Evaluation Forum (CLEF 2008), Aarhus, Denmark, September 17-19, 2008.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Kinetics of 1,3-dipolar cycloaddition involving azomethine ylides, generated from thermal [1,2]-prototropy of the corresponding imino ester, employing differential scanning calorimetry (DSC), is surveyed. Glycine and phenylalanine derived imino esters have different behavior. The first one prefers reacting with itself at 75 ºC, rather than with the dipolarophile. However, the α-substituted imino ester gives the cycloadduct at higher temperatures. The thermal dynamic analysis by 1H NMR of the neat reaction mixture of the glycine derivative reveals the presence of signals corresponding to the dipole in very small proportion. The non-isothermal and isothermal DSC curves of the cycloaddition of phenylalaninate and diisobutyl fumarate are obtained from freshly prepared samples. The application of known kinetic models and mathematical multiple non-linear regressions (NLR) allow to determine and to compare Ea, lnA, reaction orders, and reaction enthalpy. Finally a rate equation for each different temperature can be established for this particular thermal cycloaddition.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applications. Each method addresses different concerns using separate models (content, navigation, presentation, business logic, etc.), and provide model compilers that produce most of the logic and Web pages of the application from these models. However, these proposals also have some limitations, especially for exchanging models or representing further modeling concerns, such as architectural styles, technology independence, or distribution. A possible solution to these issues is provided by making model-driven Web Engineering proposals interoperate, being able to complement each other, and to exchange models between the different tools. MDWEnet is a recent initiative started by a small group of researchers working on model-driven Web Engineering (MDWE). Its goal is to improve current practices and tools for the model-driven development of Web applications for better interoperability. The proposal is based on the strengths of current model-driven Web Engineering methods, and the existing experience and knowledge in the field. This paper presents the background, motivation, scope, and objectives of MDWEnet. Furthermore, it reports on the MDWEnet results and achievements so far, and its future plan of actions.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Introducción. En un contexto de incremento de las desigualdades y de la pobreza en la sociedad española, donde el desmantelamiento del Estado de Bienestar reduce la posibilidad de encontrar recursos e implementar políticas públicas de reducción de estos efectos; la Sociedad Civil y la ciudadanía desarrollan prácticas resilientes orientadas a satisfacer las necesidades de las comunidades más afectadas por el desempleo y el recorte de servicios sociales. Material y métodos. a) Datos secundarios estadísticos procedentes de organismos y fundaciones; y webs de organizaciones resilientes; b) datos primarios producidos a partir de entrevistas y grupos de discusión. Metodología de análisis de contenido y análisis de discurso. Resultados y discusión. las prácticas resilientes como satisfactores de necesidades, son estructuradas a partir de dos dimensiones adaptación/transformación; dependencia/autonomía. Se observa que estas prácticas cuanto más abstracción presentan (de las necesidades concretas relacionadas con la subsistencia, a las necesidades más intangibles relacionadas con cuestiones simbólicas e identitarias), mayor complejidad en su diseño y organización, y mayor potencia como satisfactor.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

El presente trabajo analiza la presencia de la Plataforma de Afectados por la Hipoteca, de sus acciones y reivindicaciones en la agenda mediática y en la agenda política en España en el año 2014. Tras describir el papel de la plataforma como movimiento social en nuestro país, trata, en primer lugar, de analizar la cobertura que los tres principales medios impresos (El País, El Mundo y ABC) han hecho del mismo a lo largo del año, desde la perspectiva del Framing o Teoría del Enfoque, observando el tratamiento valorativo que realizan los tres diarios de la plataforma. Por otro lado, se lleva a cabo un análisis de la agenda política, en cuanto a las menciones a la PAH y a sus acciones en el debate parlamentario en el Congreso de los Diputados, diferenciando la pertenencia a la agenda simbólica y sustancial. Los datos muestran, por un lado, un tratamiento diverso del movimiento social por parte de los tres medios, que se correspondería con el diferente posicionamiento ideológico de cada periódico. Por otro, las formaciones políticas presentes en el hemiciclo incluyen de manera cuantitativamente distinta a la PAH en sus discursos –siendo Izquierda Plural el grupo que más menciones ha realizado– y la mayoría de éstos pertenece a la agenda simbólica. La distribución temporal de las dos agendas no muestra una influencia clara entre ambas.