10802 search results - page 405 / 2161 » Generative and developmental systems |
229
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
141
click to vote
AAAI
1996
15 years 8 months ago
1996
This paper discusses techniques that improve the performance of a case retrieval system, after it is deployed, as a result of the continued usage of the system, by remembering pre...
177
Voted
ACL
2010
15 years 4 months ago
2010
In this paper, we present a simple and effective method to address the issue of how to generate diversified translation systems from a single Statistical Machine Translation (SMT)...
168
click to vote
APCSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Since we first devised and defined password-capabilities as a new technique for building capability-based operating systems, a number of research systems around the world have use...
162
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a modified parallel virtual file system that provides snapshot functionality. Because typical file systems are exposed to various failures, taking a s...