Sciweavers

4708 search results - page 339 / 942
» Generating the Structure of Argument
Sort
View
180
Voted
DAC
2000
ACM
16 years 7 months ago
Self-test methodology for at-speed test of crosstalk in chip interconnects
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
Xiaoliang Bai, Sujit Dey, Janusz Rajski
ACL
1997
15 years 8 months ago
Fertility Models for Statistical Natural Language Understanding
Several recent efforts in statistical natural language understanding (NLU) have focused on generating clumps of English words from semantic meaning concepts (Miller et al., 1995; ...
Stephen Della Pietra, Mark Epstein, Salim Roukos, ...
EVOW
2009
Springer
16 years 1 months ago
Habitat: Engineering in a Simulated Audible Ecosystem
This paper introduces a novel approach to generating audio or visual heterogeneity by simulating multi-level habitat formation by ecosystemengineer organisms. Ecosystem engineers g...
Alan Dorin
SMA
2009
ACM
157views Solid Modeling» more  SMA 2009»
16 years 1 months ago
Constraint-based model synthesis
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...
Paul Merrell, Dinesh Manocha
FOSSACS
2007
Springer
16 years 27 days ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger