Search
Now showing items 1-5 of 5
Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction
(Technische Universität Braunschweig, Institute of Theoretical Computer Science, 2014)
We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether ...
INTERMOD: un enfoque ágil, dirigido por modelos y centrado en el usuario, para desarrollar aplicaciones interactivas
(2014-02-28)
En el actual contexto tecnológico surge la necesidad de cambiar el enfoque de desarrollo del software interactivo. Se ha demostrado que el enfoque tradicional por fases no se adapta bien a los cambios frecuentes que exige ...
On demand translation for querying incompletely aligned datasets
(2014-12-01)
More and more users aim at taking advantage of the existing Linked Open Data environment to formulate a query over a dataset and to then try to process the same query over different datasets, one after another, in order ...
Euskarazko denbora-egiturak etiketatzeko gidalerroak v1.0
(2014-12-01)
To interpret the temporal information on texts, a mark-up language that will code that information is needed, in order to make that information automatically reachable. The most used mark-up language is TimeML (Pustejovsky ...
Pitch Based Wind Turbine Intelligent Speed Setpoint Adjustment Algorithms
(MDPI, 2014-06)
This work is aimed at optimizing the wind turbine rotor speed setpoint algorithm. Several intelligent adjustment strategies have been investigated in order to improve a reward function that takes into account the power ...