1128 search results - page 168 / 226 » Little Engines of Proof |
96
Voted
ICAD
2004
15 years 2 months ago
2004
The rapid accumulation of large collections of data has created the need for efficient and intelligent schemes for knowledge extraction and results analysis. The resulting informa...
115
Voted
ECIS
2001
15 years 2 months ago
2001
The Internet has had a significant impact on the process of developing information systems. However, there has been little research that has examined specifically the role of deve...
112
Voted
ICIS
2001
15 years 2 months ago
2001
Despite substantial improvements in the last few years in software engineering and collaboration tools, coordination in large-scale software development continues to be problemati...
108
Voted
NIPS
2001
15 years 2 months ago
2001
In many scientific and engineering applications, detecting and understanding differences between two groups of examples can be reduced to a classical problem of training a classif...
145
Voted
SSR
2001
15 years 2 months ago
2001
Software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the ...