Sciweavers

488 search results - page 63 / 98
» Derivation of Java Monitors
Sort
View
ICASSP
2011
IEEE
14 years 3 months ago
A reversible jump MCMC algorithm for Bayesian curve fitting by using smooth transition regression models
This paper proposes a Bayesian algorithm to estimate the parameters of a smooth transition regression model. With in this model, time series are divided into segments and a linear...
Matthieu Sanquer, Florent Chatelain, Mabrouka El-G...

Publication
331views
16 years 11 months ago
On Accurate and Efficient Statistical Counting in Sensor-Based Surveillance Systems
Sensor networks have been used in many surveillance systems, providing statistical information about monitored areas. Accurate counting information (e.g., the distribution of the ...
Shuo Guo, Tian He, Mohamed F. Mokbel, John A. Stan...
CVPR
2003
IEEE
16 years 1 months ago
Illumination Normalization with Time-dependent Intrinsic Images for Video Surveillance
Cast shadows produce troublesome effects for video surveillance systems, typically for object tracking from a fixed viewpoint, since it yields appearance variations of objects dep...
Yasuyuki Matsushita, Ko Nishino, Katsushi Ikeuchi,...
SIGSOFT
2005
ACM
16 years 17 days ago
Dynamically discovering architectures with DiscoTect
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...
Bradley R. Schmerl, David Garlan, Hong Yan
AAAI
1993
15 years 1 months ago
Numerical Behavior Envelopes for Qualitative Models
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
Herbert Kay, Benjamin Kuipers