Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 416-435 de 442
-
Ponencia
Towards a Programming Language in Cellular Computing
(Fénix Editora, 2004)Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in ...
-
Ponencia
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities
(Springer, 2015)In this paper we estimate the soundness of tagging in digital repositories within the field of Digital Humanities by ...
-
Ponencia
Towards a tool for ontology engineering
(IEEE Computer Society, 2004)A tool based on a spatial representation of provisional ontologies is designed. The tool allows the cleming of Knowledge Bases, aa well to induce new concepts in early steps of the building of an ontology.
-
Ponencia
Towards a verifiable topology of data
(Universidad de La Rioja, Departamento de Matemáticas y Computación, 2016) -
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...
-
Ponencia
Towards Bridging Two Cell-Inspired Models: P Systems and R Systems
(Fénix Editora, 2011)We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ...
-
Ponencia
Towards Emotion Recognition: A Persistent Entropy Application
(Springer, 2019)Emotion recognition and classification is a very active area of research. In this paper, we present a first approach to ...
-
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
(Springer, 2006)This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
-
Capítulo de Libro
Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes
(Springer, 2005)In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active ...
-
Ponencia
Uniform Solution to QSAT Using Polarizationless Active Membranes
(Fénix Editora, 2006)It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ...
-
Ponencia
Universal P Systems: One Catalyst Can Be Suficient
(Fénix Editora, 2013)Whether P systems with only one catalyst can already be universal, is still an open problem. Here we establish universality ...
-
Ponencia
Uranium- decay chain
(Fénix, 2016)The main objective of this article is to modelize the process of decay of Uranium within the framework of Membrane ...
-
Ponencia
Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City
(IEEE Computer Society, 2016)Urban Data management represents a major challenge in the field of Smart Cities. Its understanding is essential for the ...
-
Ponencia
Using A Kernel P System to Solve The 3-Col Problem
(MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences, 2012)The newly introduced Kernel P systems offer an unitary and elegant way of integrating established features of existing P ...
-
Ponencia
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms
(Springer, 2017)We present here an application of abstract single threaded objects (abstract stobjs) in the ACL2 theorem prover, to define ...
-
Capítulo de Libro
Using Automated Reasoning Systems on Molecular Computing
(Springer, 2005)This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study ...
-
Ponencia
Using Maude
(Springer, 2000) -
Ponencia
Using Metaheuristic Algorithms Remotely via ROS
(ACM Digital Library, 2007) -
Ponencia
Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers
(Springer, 2002)We present in this paper an application of the ACL2 system to reason about propositional satisfiability provers. For that ...
-
Ponencia
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
(Springer, 2004)In this paper, we present the formal verification of a Common Lisp implementation of Buchberger’s algorithm for ...