1173 search results - page 127 / 235 » Program Derivation Using Analogy |
173
Voted
DOCENG
2004
ACM
16 years 3 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
197
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
We propose an evolutionary method for detection of vehicles in satellite imagery which involves a large number of simple elementary features and multiple detectors trained by genet...
140
Voted
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
168
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—We have recently proposed a novel receiver for Ultra-Wide-band Impulse-Radio communication in bursty applications like Wireless Sensor Networks. The receiver, based on the princ...
180
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
We consider the problem of imaging a scene with a given depth of field at a given exposure level in the shortest amount of time possible. We show that by (1) collecting a sequence ...