Sciweavers

1097 search results - page 108 / 220
» Sequential Object Monitors
Sort
View
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 7 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
127
Voted
COGSCI
2004
90views more  COGSCI 2004»
15 years 3 months ago
Moving words: dynamic representations in language comprehension
Eighty-two participants listened to sentences and then judged whether two sequentially presented visual objects were the same. On critical trials, participants heard a sentence de...
Rolf A. Zwaan, Carol J. Madden, Richard H. Yaxley,...
131
Voted
PVLDB
2010
121views more  PVLDB 2010»
14 years 10 months ago
Efficient RkNN Retrieval with Arbitrary Non-Metric Similarity Measures
A RkNN query returns all objects whose nearest k neighbors contain the query object. In this paper, we consider RkNN query processing in the case where the distances between attri...
Deepak P, Prasad Deshpande
ICDE
2006
IEEE
133views Database» more  ICDE 2006»
16 years 4 months ago
ViEWNet: Visual Exploration of Region-Wide Traffic Networks
Location-based services and data mining algorithms analyzing objects moving on a complex traffic network are becoming increasingly important. In this paper, we introduce a new app...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...
145
Voted
AVSS
2008
IEEE
15 years 10 months ago
Automatic Detection of Adverse Weather Conditions in Traffic Scenes
Visual surveillance in outdoor environments requires the monitoring of both objects and events. The analysis is generally driven by the target application which, in turn, determin...
Andrea Lagorio, Enrico Grosso, Massimo Tistarelli