1021 search results - page 62 / 205 » Concepts in Proof Planning |
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
: Bioluminescence tomography (BLT) is a new molecular imaging tool. Using a modality fusion approach, we built the first BLT prototype to combine BLI data and micro-CT images for p...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
MayBMS is a state-of-the-art probabilistic database management system which leverages the strengths of previous database research for achieving scalability. As a proof of concept ...
IV
2009
IEEE
14 years 3 months ago
2009
IEEE
The increasing popularity of mobile devices has fostered the development of visualization applications for these devices. However, the reduced screen size and different interactio...
ISCAS
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper presents a passive filter for the front end of a high speed serial link receiver to aid timing recovery. The filter provides simultaneous lowpass and highpass tran...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This proof of concept study examines the possibility of specifying the construction of programs using a Particle Swarm algorithm, and represents a new form of automatic p...