1569 search results - page 226 / 314 » Using Organic Computing to Control Bunching Effects |
164
click to vote
ESTIMEDIA
2007
Springer
16 years 7 days ago
2007
Springer
—Modern compression standards such as H.264, DivX, or VC-1 provide astonishing quality at the costs of steadily increasing processing requirements. Therefore, efficient solution...
160
click to vote
JVCIR
2006
15 years 6 months ago
2006
Computed tomography (CT) images have been widely used for diagnosis of liver disease and volume measurement for liver surgery or transplantation. Automatic liver segmentation and ...
151
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
144
click to vote
NSPW
2006
ACM
16 years 1 days ago
2006
ACM
Virtually every Internet user on the planet uses the powerful free tools offered by a handful of information service providers in many aspects of their personal and professional l...
175
click to vote
HOTNETS
2010
15 years 29 days ago
2010
Recently new data center topologies have been proposed that offer higher aggregate bandwidth and location independence by creating multiple paths in the core of the network. To ef...