Sciweavers

267 search results - page 27 / 54
» Modeling Ant Behavior Under a Variable Environment
Sort
View
ENTCS
2010
103views more  ENTCS 2010»
15 years 3 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen
ICCV
2003
IEEE
16 years 7 months ago
Joint Region Tracking with Switching Hypothesized Measurements
This paper proposes a switching hypothesized measurements (SHM) model supporting multimodal probability distributions and presents the application of the model in handling potenti...
Kia-Fock Loe, Tele Tan, Yang Wang 0002
CVIU
2006
76views more  CVIU 2006»
15 years 6 months ago
Homeostatic image perception: An artificial system
This paper describes how a visual system can automatically define features of interest from the observation of a large enough number of natural images. The principle complements t...
Thomas Feldman, Laurent Younes
CIMAGING
2009
145views Hardware» more  CIMAGING 2009»
15 years 7 months ago
Wavelet-based Poisson rate estimation using the Skellam distribution
Owing to the stochastic nature of discrete processes such as photon counts in imaging, real-world data measurements often exhibit heteroscedastic behavior. In particular, time ser...
Keigo Hirakawa, Farhan A. Baqai, Patrick J. Wolfe
POLICY
2005
Springer
15 years 11 months ago
Embedding Policy Rules for Software-Based Systems in a Requirements Context
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...
Mark Strembeck