1445 search results - page 250 / 289 » Properties of state spaces and their applications |
151
click to vote
SPIRE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we extend the SHIFT-AND approach by BaezaYates and Gonnet (CACM 35(10), 1992) to the matching problem for network expressions, which are regular expression...
164
click to vote
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
We present a novel technique, termed attached shadow coding, for estimating surface normals from shadows when the reflectance and lighting conditions are unknown. Our key idea is ...
193
click to vote
ADC
2010
Springer
15 years 1 months ago
2010
Springer
Aggregation against distinct objects has been involved in many real applications with the presence of duplicates, including real-time monitoring moving objects. In this paper, we ...
168
click to vote
JCS
2010
15 years 28 days ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
188
click to vote
PVLDB
2010
15 years 27 days ago
2010
Top-k spatial preference queries return a ranked set of the k best data objects based on the scores of feature objects in their spatial neighborhood. Despite the wide range of loc...