| 1 |
Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
|
|
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 4 |
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Calculus semantic with values passing in the denotational approach ; Semântica do cálculo com passagem de valores na abordagem denotacional
|
|
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Using Two Formal Strategies to Eliminate Ambiguity in Poetry Text
|
|
|
|
In: IFIP Advances in Information and Communication Technology ; 2nd International Conference on Intelligence Science (ICIS) ; https://hal.inria.fr/hal-02118821 ; 2nd International Conference on Intelligence Science (ICIS), Nov 2018, Beijing, China. pp.159-166, ⟨10.1007/978-3-030-01313-4_16⟩ (2018)
|
|
Abstract:
Part 4: Language Cognition ; International audience ; The purpose of this paper is to compare the two major types of formalization strategies through the disambiguation of natural language textual ambiguities. The method is: The first step is to select the same text. Using poetry as an example, two types of formal strategies are used to resolve the ambiguities that exist. The second step is to analyze the limitations of the first formal path, at the same time, using traditional artificial intelligence methods and a new generation of artificial intelligence. The third step is to use the double-word board tools and methods to do the same thing. The result is that using the first path, whether based on rules (traditional artificial intelligence methods) or on statistical and machine learning, especially deep learning (a new generation of artificial intelligence methods), only local solutions can be obtained; With the checkerboard tools and methods, the overall solution can be obtained. This shows the unique advantages of the second path. Its significance lies in: using the double-word chessboard tool and method (second path) can solve the common problems faced by traditional artificial intelligence and new generation of artificial intelligence, and how to eliminate the ambiguity of natural language texts. The most important thing is that it has a new role. The most typical is to construct a knowledge base of the subject through the acquisition of knowledge and formal expression of experts, so as to gradually resolve a series of ambiguities between natural language (text) processing and formalized understanding.
|
|
Keyword:
[INFO]Computer Science [cs]; Ambiguities artificial intelligence methods; Eliminate ambiguity; Natural language textual; Two formal strategies
|
|
URL: https://doi.org/10.1007/978-3-030-01313-4_16
https://hal.inria.fr/hal-02118821
https://hal.inria.fr/hal-02118821/file/474230_1_En_16_Chapter.pdf
https://hal.inria.fr/hal-02118821/document
|
|
BASE
|
|
Hide details
|
|
|
| 9 |
The methodology of criminal law science ; Методология науки уголовного права ; Основи методології науки кримінального права
|
|
|
|
In: Herald of the Association of Criminal Law of Ukraine; Том 2, № 9 (2017); 1-41 ; Вестник Ассоциации уголовного права Украины; Том 2, № 9 (2017); 1-41 ; Вісник асоціації кримінального права України; Том 2, № 9 (2017); 1-41 ; 2311-9640 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
From formal concepts to analogical complexes
|
|
|
|
In: The 12th International Conference on Concept Lattices and their Applications ; CLA 2015 ; https://hal.inria.fr/hal-01198943 ; CLA 2015, LIMOS, CNRS et Université Blaise Pascal, Oct 2015, Clermont-Ferrand, France. pp.12 ; http://cla2015.isima.fr/ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
On Automated Lemma Generation for Separation Logic with Inductive Definitions
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01175732 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination
|
|
|
|
In: Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination ; http://www.speakerodyssey.com (2015)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination
|
|
|
|
In: Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination ; http://www.speakerodyssey.com (2015)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
A Study on the Translation of Martial Arts Terms in Jin Yong's The Book and the Sword
|
|
Tan, Wanqing. - : The University of Queensland, School of Languages and Cultures, 2015
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Estendendo CRefine para o suporte de táticas de refinamento
|
|
Conserva Filho, Madiel de Souza. - : Universidade Federal do Rio Grande do Norte, 2014. : BR, 2014. : UFRN, 2014. : Programa de Pós-Graduação em Sistemas e Computação, 2014. : Ciência da Computação, 2014
|
|
BASE
|
|
Show details
|
|
|
| 16 |
A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
|
|
|
|
In: AOSD 2012 Student Research Competition (Poster) ; https://hal.inria.fr/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩ (2012)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
|
|
|
|
In: https://hal.inria.fr/hal-00763203 ; Philippe de Groote and Mark-Jan Nederhof. France. 7395, Springer, pp.307, 2012, Lecture Notes in Computer Science, 978-3-642-32023-1. ⟨10.1007/978-3-642-32024-8⟩ (2012)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
The motion grammar: Linguistic perception, planning, and control
|
|
|
|
In: https://smartech.gatech.edu/bitstream/handle/1853/36485/yama.pdf (2011)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification
|
|
|
|
BASE
|
|
Show details
|
|
|
|
|
