Yazar
Silva, João. editor.
Format:
Electronic Resources
Alıntı:
. Resources, Tools and Strategies -- Extracting and Mining Open Relations from Portuguese Text -- Towards Key
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
PRObabilistic ParamEter SYnthesis Tool -- Software Analysis -- Effective Search-Space Pruning for Solvers of
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
Yazar
Baptista, Jorge. editor.
Format:
Electronic Resources
Alıntı:
-- Comparing NERP-CRF with Publicly Available Portuguese Named Entities Recognition Tools -- Integrating Verbal
Yazar
Alviano, Mario. editor. (orcid)0000-0002-2052-2063
Format:
Electronic Resources
Alıntı:
Knowledge Representation for AI -- Tight Integration of Rule-Based Tools in Game Development -- A
Yazar
Fermé, Eduardo. editor.
Format:
Electronic Resources
Alıntı:
Query Answering over Description Logic Ontologies -- Tools for the Investigation of Substructural
Yazar
Giorgini, Paolo. editor.
Format:
Electronic Resources
Alıntı:
-- Information Systems Modeling: Language, Verification, and Tool Support -- Expert2Vec: Experts Representation
Yazar
Métais, Elisabeth. editor.
Format:
Electronic Resources
Alıntı:
-- Generating Tailored Classification Schemas for German Patents -- A Platform Based ANLP Tools for the
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Development -- Generation of Domain-Specific Graphical Development Tools Targeting Heterogeneous Platforms
Yazar
Rojas, Ignacio. editor.
Format:
Electronic Resources
Alıntı:
: bioinformatics tools and medical applications; omics data acquisition, processing, and analysis; bioinformatics
Yazar
Rojas, Ignacio. editor.
Format:
Electronic Resources
Alıntı:
: bioinformatics tools and medical applications; omics data acquisition, processing, and analysis; bioinformatics
Arama Sonuçlarını Sınırlandır
Daraltılmış: