2748 search results - page 209 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
147
Voted
CN
2007
15 years 5 months ago
2007
We first study the accuracy of two well-known analytical models of the average throughput of long-term TCP flows, namely the so-called SQRT and PFTK models, and show that these ...
138
click to vote
ISM
2008
IEEE
15 years 11 months ago
2008
IEEE
Cover song detection is becoming a very hot research topic when plentiful personal music recordings or performance are released on the Internet. A nice cover song recognizer helps...
127
click to vote
JMM2
2008
15 years 5 months ago
2008
Commercial systems such as Flickr display interesting photos from their collection as an interaction mechanism for sampling the collection. It purely relies on social activity anal...
132
Voted
SIAMSC
2008
15 years 5 months ago
2008
A novel approach to the X-ray tomography problem with sparse projection data is proposed. Non-negativity of the X-ray attenuation coefficient is enforced by modelling it as max{(x)...
176
click to vote
TABLEAUX
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...