7904 search results - page 1346 / 1581 » Sequence Query Processing |
151
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
134
click to vote
WABI
2001
Springer
15 years 11 months ago
2001
Springer
There are very few instances in which positive Darwinian selection has been convincingly demonstrated at the molecular level. In this study, we present a novel test for detecting p...
180
click to vote
EH
2000
IEEE
15 years 11 months ago
2000
IEEE
Evolvable Hardware (EHW) has been proposed as a new technique to design complex systems. Often, complex systems turn out to be very difficult to evolve. The problem is that a gen...
147
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A practical algorithm for 3-D interpretation of images taken in a sewer by a robot-inspector is presented. Modern sewers made of concrete present regular circular structures origi...
159
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents an implementation of Forward Looking Infrared (FLIR) and Laser Radar (LADAR) data simulation for use in developing a multi-sensor datafusion automated target r...