Sciweavers

267 search results - page 27 / 54
» Modeling Ant Behavior Under a Variable Environment
Sort
View
ENTCS
2010
103views more  ENTCS 2010»
13 years 5 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
14 years 9 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»
13 years 8 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»
13 years 9 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
14 years 1 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