797 search results - page 23 / 160 » Observing Success in the Pi-Calculus |
PEPM
2004
ACM
15 years 3 months ago
2004
ACM
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
71
Voted
ITC
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper presents an approach for analysis of system state differences observable through the scan chain for the debug of functional failures. A novel methodology for Latch Dive...
100
click to vote
ACL
2007
14 years 11 months ago
2007
When a word sense disambiguation (WSD) system is trained on one domain but applied to a different domain, a drop in accuracy is frequently observed. This highlights the importance...
UAI
2008
14 years 11 months ago
2008
Although fully generative models have been successfully used to model the contents of text documents, they are often awkward to apply to combinations of text data and document met...
66
Voted
ACL
2003
14 years 11 months ago
2003
We present a probabilistic parsing model for German trained on the Negra treebank. We observe that existing lexicalized parsing models using head-head dependencies, while successf...