Sciweavers

782 search results - page 119 / 157
» Can a Parser be Generated from Examples
Sort
View
CAE
2007
15 years 6 months ago
An Information-Theoretic Ambient Occlusion
Ambient occlusion is a powerful technique that mimics indirect global illumination at a fraction of the cost. In this paper, we introduce a new ambient occlusion technique based o...
Francisco González, Mateu Sbert, Miquel Fei...
CHI
2010
ACM
15 years 5 months ago
Sequential art for science and CHI
This paper illustrates our preliminary studies of new interactive tools that support the generation of sequential art for entertainment, learning and scientific discourse. In the ...
Duncan Rowland, Dan Porter, Mel Gibson, Kevin Walk...
157
Voted
CODES
2008
IEEE
15 years 5 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
LISA
2004
15 years 5 months ago
Auto-configuration by File Construction: Configuration Management with newfig
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
William LeFebvre, David Snyder
NIPS
2004
15 years 5 months ago
Conditional Models of Identity Uncertainty with Application to Noun Coreference
Coreference analysis, also known as record linkage or identity uncertainty, is a difficult and important problem in natural language processing, databases, citation matching and m...
Andrew McCallum, Ben Wellner