1654 search results - page 238 / 331 » Comparing Two Software Design Process Theories |
149
click to vote
COMPUTER
2006
15 years 4 months ago
2006
The educational content of a technical topic consists, ultimately, of elementary chunks of knowledge. Identifying and classifying such units -- Testable, Reusable Units of Cogniti...
148
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
126
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
In this paper we present two optimum (in a rate-distortion ? RD ? sense) rate-control algorithms for FGS scalable video. The proposed methods, which could compliment recently prop...
258
click to vote
GIS
2006
ACM
16 years 5 months ago
2006
ACM
The result of a distance join operation on two sets of objects R, S on a spatial network G is a set P of object pairs <p, q>, p R, q S such that the distance of an object ...
138
click to vote
PR
2007
15 years 4 months ago
2007
In this paper, we propose a new constructive method, based on cooperative coevolution, for designing automatically the structure of a neural network for classification. Our appro...