13553 search results - page 2638 / 2711 » A Generalized Multi-View Approach |
ALMOB
2006
14 years 12 months ago
2006
Two important and not yet solved problems in bacterial genome research are the identification of horizontally transferred genes and the prediction of gene expression levels. Both ...
104
click to vote
ENTCS
2008
14 years 12 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
ENTCS
2008
14 years 12 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
100
click to vote
AROBOTS
2006
14 years 12 months ago
2006
All mobile bases suffer from localization errors. Previous approaches to accommodate for localization errors either use external sensors such as lasers or sonars, or use internal s...
ESWA
2008
14 years 12 months ago
2008
Traditional content-based image retrieval (CBIR) systems often fail to meet a user's need due to the `semantic gap' between the extracted features of the systems and the...