3387 search results - page 507 / 678 » Model-Checking for Real-Time Systems |
116
click to vote
AVSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
131
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
121
click to vote
EWMF
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we review two techniques for topic discovery in collections of text documents (Latent Semantic Indexing and K-Means clustering) and present how we integrated them in...
123
Voted
ISVC
2005
Springer
15 years 8 months ago
2005
Springer
This note describes a web-based tool for storm analysis using multiple data sets developed for use in research of thunderstorms and forecasting applications. The tool was developed...
132
Voted
KI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. For real time object recognition and tracking often color-based methods are used. While these methods are very efficient, they usually dependent heavily on lighting cond...