Search
Now showing items 1-5 of 5
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
(Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig, 2013-03-29)
We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define ...
Open Personalization: Involving Third Parties in Improving the User Experience of Websites
(2013-03-15)
Traditional software development captures the user needs during the
requirement analysis. The Web makes this endeavour even harder due to
the difficulty to determine who these users are. In an attempt to tackle
the ...
A methodology for the semiautomatic annotation of EPEC-RolSem, a basque corpus labeled at predicative level following the PropBank-Verb Net model
(2013)
In this article we describe the methodology developed for the semiautomatic annotation of EPEC-RolSem, a Basque corpus labeled at predicate level following the PropBank-VerbNet model. The methodology presented is the product ...
Designing High Performance Factory Automation Applications on Top of DDS
(INTECH Open Access Publisher, 2013-04-22)
DDS is a recent specification aimed at providing high-performance publisher/subscriber middleware solutions. Despite being a very powerful flexible technology, it may prove complex to use, especially for the inexperienced. ...
Student-generated online videos to develop cross-curricular and curricular competencies in Nursing Studies.
(Elsevier, 2013-07-06)
In response to the necessity of implementing innovative strategies and new teaching methodologies for the design of University degrees curricula according to the new educational model put forward by the European Space of ...