Sciweavers

6020 search results - page 221 / 1204
» A New Approach to Model Counting
Sort
View
116
Voted
TIM
2010
75views Education» more  TIM 2010»
14 years 11 months ago
Modeling the Series Impedance of a Quad Cable for Common-Mode DSL Applications
New digital subscriber line (DSL) technologies are being developed to meet the ever-increasing bandwidth demand of the user. One very promising approach injects "common-mode&q...
Wim Foubert, Carine Neus, Leo Van Biesen, Yves Rol...
ISCA
2003
IEEE
104views Hardware» more  ISCA 2003»
15 years 10 months ago
Token Coherence: Decoupling Performance and Correctness
Many future shared-memory multiprocessor servers will both target commercial workloads and use highly-integrated “glueless” designs. Implementing low-latency cache coherence i...
Milo M. K. Martin, Mark D. Hill, David A. Wood
ISBI
2006
IEEE
16 years 5 months ago
Shape and appearance modeling with feature distributions for image segmentation
This paper presents a new approach to prior shape and appearance modeling for use in curve evolution-based segmentation. The new method is based on the unified use of feature dist...
Andrew Litvin, William Clement Karl, Jayant Shah
87
Voted
ACL
2000
15 years 6 months ago
Distribution-Based Pruning of Backoff Language Models
We propose a distribution-based pruning of n-gram backoff language models. Instead of the conventional approach of pruning n-grams that are infrequent in training data, we prune n...
Jianfeng Gao, Kai-Fu Lee
FDBS
2001
108views more  FDBS 2001»
15 years 6 months ago
Combining a Formal with an Example-driven Approach for Data Integration
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
Ingolf Geist, Kai-Uwe Sattler, Ingo Schmitt