6020 search results - page 182 / 1204 » A New Approach to Model Counting |
155
click to vote
COMCOM
2006
15 years 4 months ago
2006
Managing the bandwidth allocated to a Label Switched Path in MPLS networks plays a major role for provisioning of Quality of Service and efficient use of resources. In doing so, t...
139
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We outline an incremental learning algorithm designed for nonstationary environments where the underlying data distribution changes over time. With each dataset drawn from a new e...
153
click to vote
IPMI
2003
Springer
16 years 5 months ago
2003
Springer
In this paper, we focus on velocity estimation in ultrasound images sequences. Ultrasound images present many difficulties in image processing because of the typically high level o...
142
click to vote
EOR
2006
15 years 4 months ago
2006
The robust spanning tree problem is a variation, motivated by telecommunications applications, of the classic minimum spanning tree problem. In the robust spanning tree problem ed...
132
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
In LAPACK many matrix operations are cast as block algorithms which iteratively process a panel using an unblocked algorithm and then update a remainder matrix using the high perf...