Sciweavers

11172 search results - page 2171 / 2235
» Testing Physical Systems
Sort
View
132
Voted
FSKD
2007
Springer
193views Fuzzy Logic» more  FSKD 2007»
15 years 9 months ago
Panoramic Background Model under Free Moving Camera
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...
Naveed I. Rao, Huijun Di, Guangyou Xu
145
Voted
GECCO
2007
Springer
241views Optimization» more  GECCO 2007»
15 years 9 months ago
Binary ant algorithm
When facing dynamic optimization problems the goal is no longer to find the extrema, but to track their progression through the space as closely as possible. Over these kind of ov...
Carlos Fernandes, Agostinho C. Rosa, Vitorino Ramo...
111
Voted
ICFEM
2007
Springer
15 years 9 months ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang
147
Voted
IVA
2007
Springer
15 years 9 months ago
Proactive Authoring for Interactive Drama: An Author's Assistant
Interactive drama allows people to participate actively in a dynamically unfolding story, by playing a character or by exerting directorial control. One of the central challenges f...
Mei Si, Stacy Marsella, David V. Pynadath
153
Voted
PSIVT
2007
Springer
203views Multimedia» more  PSIVT 2007»
15 years 9 months ago
Direct Ellipse Fitting and Measuring Based on Shape Boundaries
: Measuring ellipticity is an important area of computer vision systems. Most existing ellipticity measures are area based and cannot be easily applied to point sets such as extrac...
Milos Stojmenovic, Amiya Nayak
« Prev « First page 2171 / 2235 Last » Next »