Zobrazeno 1 - 10
of 10
pro vyhledávání: '"005.11"'
Autor:
Delaney, Aidan
Spider diagrams are a recently developed visual logic that make statements about relationships between sets, their members and their cardinalities. By contrast, the study of regular languages is one of the oldest active branches of computer science r
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.590077
The focus of this research is on the human side of an agile methodology because most of the other research on methodologies tends to focus on the technical aspect. The context for this research is the Software Engineering Observatory at the Universit
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.419257
Autor:
Black, Daniel Peter
A wide variety of real-world optimisation problems can be modelled as Weighted Constraint Satisfaction Problems (WCSPs). Such problems are NP-hard and require an exponential amount of time to find the optimal solution. This thesis concentrates on the
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.399655
Autor:
Madelaine, Florent
Feder and Vardi have proved that the class captured by a monadic fragment of existential second-order logic, MMSNP, is computationally equivalent (via randomised reductions) to the class of constraint satisfaction problems (CSP) while the latter is s
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.697258