Sciweavers

6042 search results - page 341 / 1209
» Repeated Observation Models
Sort
View
ITC
2003
IEEE
114views Hardware» more  ITC 2003»
16 years 19 hour ago
Test-Based Model Generation For Legacy Systems
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
ECAL
2003
Springer
15 years 12 months ago
Multi-agent Model of Biological Swarming
An agent-based approach is used to explain the formation of vortex swarms in biological systems. The dynamics of the multiagent system is described by 3N coupled equations, modeli...
Robert Mach, Frank Schweitzer
EMMCVPR
1999
Springer
15 years 11 months ago
On Fitting Mixture Models
Consider the problem of tting a nite Gaussian mixture, with an unknown number of components, to observed data. This paper proposes a new minimum description length (MDL) type crite...
Mário A. T. Figueiredo, José M. N. L...
ICPR
2010
IEEE
15 years 10 months ago
Modeling Facial Skin Motion Properties in Video and Its Application to Matching Faces across Expressions
—In this paper, we propose a method to model the material constants (Young’s modulus) of the skin in subregions of the face from the motion observed in multiple facial expressi...
Vasant Manohar, Matthew Shreve, Dmitry Goldgof, Su...
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 8 months ago
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakris...