Sciweavers

5015 search results - page 582 / 1003
» Model Checking a Path
Sort
View
CVPR
2009
IEEE
1413views Computer Vision» more  CVPR 2009»
17 years 2 months ago
Learning Semantic Scene Models by Object Classification and Trajectory Clustering
The visual surveillance task is to monitor the activity of objects in a scene. In far-field settings (i.e., wide outdoor areas), the majority of visible activities are objects movi...
Hanqing Lu, Stan Z. Li, Tianzhu Zhang
SIGMOD
2004
ACM
121views Database» more  SIGMOD 2004»
16 years 7 months ago
A secure hierarchical model for sensor network
In a distributed sensor network, large number of sensors deployed which communicate among themselves to selforganize a wireless ad hoc network. We propose an energyefficient level...
Malik Ayed Tubaishat, Jian Yin, Biswajit Panja, Sa...
ICASSP
2009
IEEE
16 years 1 months ago
Motion effect modeling in multipath configuration using warping based lag-Doppler filtering
The estimation of the impulse response (IR) of a propagation channel is necessary for a large number of acoustic applications: underwater communication, detection and localization...
Nicolas F. Josso, Cornel Ioana, Cedric Gervaise, Y...
ADBIS
2004
Springer
124views Database» more  ADBIS 2004»
16 years 8 days ago
Database Caching - Towards a Cost Model for Populating Cache Groups
Web caching keeps single Web objects ready somewhere in caches in the user-to-server path, whereas database caching uses fullfledged database management systems as caches to adapt...
Theo Härder, Andreas Bühmann
ECRTS
2002
IEEE
15 years 11 months ago
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
Raimund Kirner, Roland Lang, Gerald Freiberger, Pe...