Sciweavers

674 search results - page 126 / 135
» From Constructibility and Absoluteness to Computability and ...
Sort
View
LCN
2000
IEEE
15 years 1 months ago
On Integrating Differentiated Services and UMTS Networks
Differentiated Services (DS) is currently the major approach discussed to provide network layer service differentiation in IP networks. However, the discussion mainly addresses ï¬...
Jörg Diederich, Thorsten Lohmar, Martina Zitt...
88
Voted
ASM
2008
ASM
14 years 11 months ago
A First Attempt to Express KAOS Refinement Patterns with Event B
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
Abderrahman Matoussi, Frédéric Gerva...
RECOMB
2005
Springer
15 years 9 months ago
Improved Pattern-Driven Algorithms for Motif Finding in DNA Sequences
Abstract. In order to guarantee that the optimal motif is found, traditional pattern-driven approaches perform an exhaustive search over all candidate motifs of length l. We develo...
Sing-Hoi Sze, Xiaoyan Zhao
ICCV
2009
IEEE
1335views Computer Vision» more  ICCV 2009»
16 years 2 months ago
Top-Down Color Attention for Object Recognition
Generally the bag-of-words based image representation follows a bottom-up paradigm. The subsequent stages of the process: feature detection, feature description, vocabulary cons...
Fahad Shahbaz Khan, Joost van de Weijer, Maria Van...
CVPR
2009
IEEE
15 years 7 months ago
Visual loop closing using multi-resolution SIFT grids in metric-topological SLAM
We present an image-based Simultaneous Localization and Mapping (SLAM) framework with online, appearanceonly loop closing. We adopt a layered approach with metric maps over small ...
Vivek Pradeep, Gérard G. Medioni, James Wei...