Sciweavers

2453 search results - page 410 / 491
» Object tracking: A survey
Sort
View
GECCO
2005
Springer
170views Optimization» more  GECCO 2005»
14 years 3 months ago
Multiobjective shape optimization with constraints based on estimation distribution algorithms and correlated information
A new approach based on Estimation Distribution Algorithms for constrained multiobjective shape optimization is proposed in this article. Pareto dominance and feasibility rules ar...
Sergio Ivvan Valdez Peña, Salvador Botello ...
PCM
2004
Springer
163views Multimedia» more  PCM 2004»
14 years 3 months ago
Sat-Cam: Personal Satellite Virtual Camera
We propose and describe a novel video capturing system called Sat-Cam that can observe and record the users’ activity from effective viewpoints to negate the effects of unstead...
Hansung Kim, Itaru Kitahara, Kiyoshi Kogure, Norih...
SPIN
2004
Springer
14 years 3 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
AVSS
2003
IEEE
14 years 3 months ago
A Scalable Image-Based Multi-Camera Visual Surveillance System
In this paper, we aim to achieve scalability and wider scene coverage through the use of multiple cameras in an outdoor visual surveillance system. Only image-based information is...
Ser-Nam Lim, Larry S. Davis, Ahmed M. Elgammal
ICAT
2003
IEEE
14 years 3 months ago
i-ball 2: An Interaction Platform with a Crystal-Ball-Like Display for Multiple Users
The authors’ aim in this work is to develop an easy-to-use computer-human interaction (CHI) platform. In this paper, i-ball 2 (interactive/information ball 2) is introduced as a...
Keita Ushida, Hiroshi Harashima, Jun Ishikawa