13841 search results - page 113 / 2769 » Algorithms and Constraint Programming |
109
Voted
BMCBI
2010
15 years 22 days ago
2010
Background: High-throughput sequencing (HTS) technologies play important roles in the life sciences by allowing the rapid parallel sequencing of very large numbers of relatively s...
89
Voted
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
Matrix factorization has many applications in computer vision. Singular Value Decomposition (SVD) is the standard algorithm for factorization. When there are outliers and missing ...
111
Voted
NETWORKING
2004
15 years 2 months ago
2004
We consider a system with multiple interconnected video servers storing TV programs that are received through satellite antennas. Users, equipped with set-top boxes, submit request...
103
click to vote
IFIP
1998
Springer
15 years 4 months ago
1998
Springer
A new scheduling agent for existing CIM multi-agent system is being currently developed at the Technical University of Kosice. The basic idea is to create an agent based on Schedu...
108
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...