Sciweavers

205 search results - page 41 / 41
» View Matching with Blob Features
Sort
View
CAV
2010
Springer
194views Hardware» more  CAV 2010»
14 years 13 days ago
LTSmin: Distributed and Symbolic Reachability
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
Stefan Blom, Jaco van de Pol, Michael Weber
RIAO
2004
13 years 10 months ago
Improving Ontology-Based User Profiles
Personalized Web browsing and search hope to provide Web information that matches a user's personal interests and thus provide more effective and efficient information access...
Joana Trajkova, Susan Gauch
CVPR
1999
IEEE
14 years 10 months ago
Panoramic EPI Generation and Analysis of Video from a Moving Platform with Vibration
This paper presents a novel approach for generating and analyzing epipolar plane images (EPIs) from video sequences taken from a moving platform subject to vibration so that the 3...
Zhigang Zhu, Guangyou Xu, Xueyin Lin
WWW
2009
ACM
14 years 9 months ago
A search-based method for forecasting ad impression in contextual advertising
Contextual advertising (also called content match) refers to the placement of small textual ads within the content of a generic web page. It has become a significant source of rev...
Xuerui Wang, Andrei Z. Broder, Marcus Fontoura, Va...
BMCBI
2008
133views more  BMCBI 2008»
13 years 8 months ago
CORE_TF: a user-friendly interface to identify evolutionary conserved transcription factor binding sites in sets of co-regulated
Background: The identification of transcription factor binding sites is difficult since they are only a small number of nucleotides in size, resulting in large numbers of false po...
Matthew S. Hestand, Michiel van Galen, Michel P. V...