337 search results - page 67 / 68 » Type Classes for Mathematics in Type Theory |
RECSYS
2009
ACM
14 years 1 months ago
2009
ACM
Previous work on using external aggregate rating information showed that this information can be incorporated in several different types of recommender systems and improves their...
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
SBCCI
2006
ACM
14 years 1 months ago
2006
ACM
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
ACMICEC
2004
ACM
14 years 25 days ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
ESA
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Classical network flow theory allows decomposition of flow into several chunks of arbitrary sizes traveling through the network on different paths. In the first part ...