6020 search results - page 1063 / 1204 » A New Approach to Model Counting |
161
click to vote
ICNP
2005
IEEE
15 years 12 months ago
2005
IEEE
Access links are typically the bottleneck between a high bandwidth LAN and a high bandwidth IP network. Without a priori resource provisioning or reservation, this tends to have a...
177
click to vote
ISCA
2005
IEEE
15 years 12 months ago
2005
IEEE
Instruction set customization is an effective way to improve processor performance. Critical portions of application dataflow graphs are collapsed for accelerated execution on s...
149
click to vote
ITCC
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose a Web recommendation system based on a maximum entropy model. Under the maximum entropy principle, we can combine multiple levels of knowledge about users’ navigation...
178
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
The attentive region extraction is a challenging issue for semantic interpretation of image and video content. The successful attentive region extraction greatly facilitates image...
171
click to vote
SMA
2005
ACM
15 years 11 months ago
2005
ACM
We propose a fast and robust method for detecting crest lines on surfaces approximated by dense triangle meshes. The crest lines, salient surface features defined via first- and...