Page: 1... 3 4 5 6 7 8 9 10 11... 15
121 |
Entity Type Recognition for Heterogeneous Semantic Graphs ...
|
|
|
|
BASE
|
|
Show details
|
|
122 |
Visualization of Decision Processes Using a Cognitive Architecture
|
|
|
|
In: DTIC (2013)
|
|
BASE
|
|
Show details
|
|
123 |
Enabling Efficient Intelligence Analysis in Degraded Environments
|
|
|
|
In: DTIC (2013)
|
|
BASE
|
|
Show details
|
|
124 |
Automated Extraction and Characterisation of Social Network Data from Unstructured Sources -- An Ontology-Based Approach
|
|
|
|
In: DTIC (2013)
|
|
BASE
|
|
Show details
|
|
125 |
Pronunciem, una nova estratègia didàctica per a la pronunciació catalana
|
|
|
|
In: PHONICA; Vol. 3 (2007) ; 1699-8774 (2013)
|
|
BASE
|
|
Show details
|
|
126 |
Análisis de similitud basado en grafos: una nueva aproximación a la detección de plagio translingüe ; Graph-based similarity analysis: a new approach to cross-language plagiarism detection
|
|
|
|
BASE
|
|
Show details
|
|
127 |
Knowledge Graphs as Context Models: Improving the Detection of Cross-Language Plagiarism with Paraphrasing
|
|
|
|
BASE
|
|
Show details
|
|
128 |
Análisis de similitud basado en grafos: Una nueva aproximación a la detección de plagio translingüe ; Graph-Based Similarity Analysis: A New Approach to Cross-Language Plagiarism Detection
|
|
|
|
BASE
|
|
Show details
|
|
129 |
Hull number: P5-free graphs and reduction rules
|
|
|
|
In: http://hal.inria.fr/hal-00724120/PDF/RR-8045.pdf (2012)
|
|
BASE
|
|
Show details
|
|
130 |
Hull number: $P_5$-free graphs and reduction rules
|
|
|
|
In: https://hal.inria.fr/hal-00724120 ; [Research Report] RR-8045, INRIA. 2012, pp.10 (2012)
|
|
BASE
|
|
Show details
|
|
131 |
RDF Modelling and SPARQL Processing of SQL Abstract Syntax Trees
|
|
|
|
In: PSW - 1st Workshop on Programming the Semantic Web ; https://hal.inria.fr/hal-00759034 ; PSW - 1st Workshop on Programming the Semantic Web, Nov 2012, Boston, United States (2012)
|
|
BASE
|
|
Show details
|
|
132 |
Semantics in Biproduct Dagger Categories: a quantum logic for natural language
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00719198 ; RR-12017, 2012, pp.1-28 (2012)
|
|
BASE
|
|
Show details
|
|
133 |
From Sentence to Concept
|
|
|
|
In: Categorical Information Flow in Physics and Linguistics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00635866 ; E. Grefenstette, C. Heunen, and M. Sadrzadeh. Categorical Information Flow in Physics and Linguistics, Oxford University Press, pp.247--271, 2012 (2012)
|
|
BASE
|
|
Show details
|
|
134 |
A Domain Independent Framework for Extracting Linked Semantic Data from Tables
|
|
|
|
In: DTIC (2012)
|
|
BASE
|
|
Show details
|
|
135 |
Applications of Lexical Link Analysis Web Service for Large-Scale Automation, Validation, Discovery, Visualization, and Real-Time Program Awareness
|
|
|
|
In: DTIC (2012)
|
|
BASE
|
|
Show details
|
|
136 |
Behind and beyond a theorem on groups related to trivalent graphs
|
|
|
|
Abstract:
In 2006 we completed the proof of a five-part conjecture that was made in 1977 about a family of groups related to trivalent graphs. This family covers all 2-generator, 2-relator groups where one relator specifies that a generator is an involution and the other relator has three syllables. Our proof relies upon detailed but general computations in the groups under question. The proof is theoretical, but based upon explicit proofs produced by machine for individual cases. Here we explain how we derived the general proofs from specific cases. The conjecture essentially addressed only the finite groups in the family. Here we extend the results to infinite groups, effectively determining when members of this family of finitely presented groups are simply isomorphic to a specific quotient. ; Publisher PDF ; Peer reviewed
|
|
Keyword:
Finitely presented groups; Proofs; QA; QA Mathematics; Todd-Coxeter coset enumeration; Trivalent graphs
|
|
URL: https://doi.org/10.1017/S1446788708000852 http://hdl.handle.net/10023/2462
|
|
BASE
|
|
Hide details
|
|
137 |
Representación gráfica de documentos para extracción automática de relaciones ; Graph-based document representation for relation extraction
|
|
|
|
BASE
|
|
Show details
|
|
138 |
Using word graphs as intermediate representation of uttered sentences
|
|
|
|
BASE
|
|
Show details
|
|
139 |
Applications of Lexicographic Breadth-first Search to Modular Decomposition, Split Decomposition, and Circle Graphs
|
|
|
|
BASE
|
|
Show details
|
|
140 |
From Sentence to Concept, a Linguistic Quantum Logic
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00600428 ; RR-11019, 2011 (2011)
|
|
BASE
|
|
Show details
|
|
Page: 1... 3 4 5 6 7 8 9 10 11... 15
|
|