3082 search results - page 445 / 617 » Deviation Analysis: A New Use of Model Checking |
179
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
This paper introduces a new concept of surveillance, namely, audio-visual data integration for background modelling. Actually, visual data acquired by a fixed camera can be easily ...
155
click to vote
ISQED
2006
IEEE
16 years 11 days ago
2006
IEEE
— In this paper, we propose an efficient model order reduction (MOR) algorithm, called MTermMOR, for modeling interconnect circuits with large number of external ports. The prop...
148
click to vote
ECIS
2004
15 years 7 months ago
2004
Speed and availability of information, delivered in past years by Internet technologies, made it easier for any company to outsource primary activities, which resulted in unbundli...
164
click to vote
CASCON
2001
15 years 7 months ago
2001
On Line Analytical Processing (OLAP) aims at gaining useful information quickly from large amounts of data residing in a data warehouse. To improve the quickness of response to qu...
165
click to vote
MA
2010
Springer
15 years 4 months ago
2010
Springer
We consider Bayesian analysis of data from multivariate linear regression models whose errors have a distribution that is a scale mixture of normals. Such models are used to analy...