Sciweavers

3954 search results - page 195 / 791
» Image-based Model Completion
Sort
View
ACL
2011
14 years 10 months ago
A Cross-Lingual ILP Solution to Zero Anaphora Resolution
We present an ILP-based model of zero anaphora detection and resolution that builds on the joint determination of anaphoricity and coreference model proposed by Denis and Baldridg...
Ryu Iida, Massimo Poesio
CPE
1994
Springer
170views Hardware» more  CPE 1994»
15 years 10 months ago
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
CAISE
2006
Springer
15 years 10 months ago
Semantic Annotation Framework to Manage Semantic Heterogeneity of Process Models
Effective discovery and sharing of process models within and/or across enterprises are important in process model management. A semantic annotation approach has been applied for sp...
Yun Lin, Darijus Strasunskas, Sari Hakkarainen, Jo...
ESOP
2006
Springer
15 years 10 months ago
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
Amal J. Ahmed
155
Voted
ITC
1991
IEEE
86views Hardware» more  ITC 1991»
15 years 10 months ago
Test Pattern Generation for Realistic Bridge Faults in CMOS ICs
Two approaches have been used to balance the cost of generating e ective tests for ICs and the need to increase the ICs' quality level. The rst approach favorsusing high-leve...
F. Joel Ferguson, Tracy Larrabee