Sciweavers

1142 search results - page 121 / 229
» Set Variables and Local Search
Sort
View
131
Voted
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 10 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
123
Voted
CVPR
2006
IEEE
16 years 5 months ago
Accurate Face Alignment using Shape Constrained Markov Network
In this paper, we present a shape constrained Markov network for accurate face alignment. The global face shape is defined as a set of weighted shape samples which are integrated ...
Lin Liang, Fang Wen, Ying-Qing Xu, Xiaoou Tang, He...
226
Voted
ICDE
1997
IEEE
133views Database» more  ICDE 1997»
16 years 4 months ago
Physical Database Design for Data Warehouses
Data warehouses collect copies of information from remote sources into a single database. Since the remote data is cached at the warehouse, it appears as local relations to the us...
Wilburt Labio, Dallan Quass, Brad Adelberg
109
Voted
CIDM
2007
IEEE
15 years 9 months ago
Distributed Document Clustering Using Word-clusters
−Document clustering has become an increasingly important task in analyzing huge numbers of documents distributed among various sites. The challenging aspect is to analyze this e...
Debzani Deb, Rafal A. Angryk
141
Voted
ECCV
2010
Springer
15 years 8 months ago
Discriminative Spatial Attention for Robust Tracking
Abstract. A major reason leading to tracking failure is the spatial distractions that exhibit similar visual appearances as the target, because they also generate good matches to t...