Results 71 to 80 of about 240,365 (310)
Synchronous Context-Free Grammars and Optimal Linear Parsing Strategies [PDF]
, 2013 Synchronous Context-Free Grammars (SCFGs), also known as syntax-directed translation schemata, are unlike context-free grammars in that they do not have a binary normal form. In general, parsing with SCFGs takes space and time polynomial in the length of
Crescenzi, Pierluigi +4 more
core
TRX: A Formally Verified Parser Interpreter
, 2011 Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski +7 more
core +2 more sources
Advanced Intelligent Systems, EarlyView.DNA methylation and chromosomal copy number profiling have recently become essential for tumor diagnostics. The open‐source tool Mepylome enables this task in clinical routine. It combines several machine learning strategies and allows users to interactively examine respective data through an intuitive graphical interface. Running up to 65 times faster
Jon Brugger +6 more
wiley +1 more source
Journal of Language Modelling, 2019 A recently proposed balanced-bracket encoding (Yli-Jyrä and GómezRodríguez 2017) has given us a way to embed all noncrossing dependency graphs into the string space and to formulate their exact arcfactored inference problem (Kuhlmann and Johnsson 2015 ...
Anssi Mikael Yli-Jyrä
doaj +1 more source
Advanced Intelligent Systems, EarlyView.Illustration of text data mining of rare earth mineral thermodynamic parameters with the large language model‐powered LMExt. A dataset is built with mined thermodynamic properties. Subsequently, a machine learning model is trained to predict formation enthalpy from the dataset.
Juejing Liu +6 more
wiley +1 more source
Comparative Study of Manual and Generated Data Transfer Object Implementation Performance
Journal of Applied Informatics and ComputingThe Data Transfer Object (DTO) is a fundamental component in Flutter application development, particularly in managing data serialization and deserialization.
Chandro Pardede +2 more
doaj +1 more source
Lemmatization and lexicalized statistical parsing of morphologically rich languages: the case of French [PDF]
, 2010 This paper shows that training a lexicalized parser on a lemmatized morphologically-rich treebank such as the French Treebank slightly improves parsing results.
Candito, Marie +4 more
core
Advanced Intelligent Systems, EarlyView.This paper presents an integrated AI‐driven cardiovascular platform unifying multimodal data, predictive analytics, and real‐time monitoring. It demonstrates how artificial intelligence—from deep learning to federated learning—enables early diagnosis, precision treatment, and personalized rehabilitation across the full disease lifecycle, promoting a ...
Mowei Kong +4 more
wiley +1 more source
The work of Leslie Valiant: alle die Strassen führen nach Strassen
Revista Integración, 2014 . This year Leslie VALIANT becomes sixty five years old; we celebrate his fest with this work in which we analyze some of his major achievements. We focus our attention on those of his works for which a strong influence of Volker Strassen can be ...
J. Andrés Montoya
doaj
Theorietage der Gesellschaft für Informatik in Speyer 2015—Special Issue
Algorithms, 2016 We briefly report on the national workshops on Formal Languages and Automata Theory as well as on Algorithms and Complexity Theory held in early Autumn, 2015.
Henning Fernau
doaj +1 more source