360 search results - page 18 / 72 » Scalable Analysis of Linear Systems Using Mathematical Progr... |
IPPS
2002
IEEE
14 years 10 days ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
RECONFIG
2009
IEEE
14 years 2 months ago
2009
IEEE
BLASTn is a ubiquitous tool used for large scale DNA analysis. Detailed profiling tests reveal that the most computationally intensive sections of the BLASTn algorithm are the sc...
VLDB
2000
ACM
13 years 11 months ago
2000
ACM
In this paper, we report our success in building efficient scalable classifiers in the form of decision tables by exploring capabilities of modern relational database management s...
IJCAI
2003
13 years 8 months ago
2003
There are two types of collaborative filtering (CF) systems, user-based and item-based. This paper introduces an item-based CF system for ranking derived from Linear Associative ...