3637 search results - page 158 / 728 » On Dynamic Bit-Probe Complexity |
ECCB
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
ICCV
2007
IEEE
13 years 9 months ago
2007
IEEE
A novel approach is proposed that extends the classical background subtraction method to extract silhouettes from videos in real time with dynamic viewpoint variation caused by ca...
Publication
New cameras are installed daily all around the world. Hence it becomes increasingly important to develop methods for reducing the manual effort that is still required for video ana...
APIN
2006
13 years 9 months ago
2006
The Multi-Agent Distributed Goal Satisfaction (MADGS) system facilitates distributed mission planning and execution in complex dynamic environments with a focus on distributed goal...
CN
2006
13 years 9 months ago
2006
Web services are becoming increasingly complex as users become more experienced in their requests to access an ever growing collection of information on the Web. In this paper we ...