3786 search results - page 605 / 758 » Structure Comparison and Structure Patterns |
134
click to vote
TLDI
2010
ACM
16 years 2 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
118
Voted
FPGA
2010
ACM
16 years 2 days ago
2010
ACM
Monte Carlo based SSTA serves as the golden standard against alternative SSTA algorithms, but it is seldom used in practice due to its high computation time. In this paper, we acc...
112
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Our study addresses the problem of large-scale contradiction detection and management, from data extracted from the Web. We describe the first systematic solution to the problem,...
114
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
— The increasing infectious disease outbreaks has led to a need for new research to better understand the disease’s origins, epidemiological features and pathogenicity caused b...
114
click to vote
CICLING
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Child language acquisition, one of Nature’s most fascinating phenomena, is to a large extent still a puzzle. Experimental evidence seems to support the view that early ...