12774 search results - page 298 / 2555 » A Framework for Proof Systems |
162
click to vote
ICARCV
2006
IEEE
16 years 23 days ago
2006
IEEE
— This paper presents a novel approach for tracking a moving target of interest across a large-scale distributed camera system where some of the cameras are mobile. The growing t...
194
click to vote
AGENTLINK
2003
Springer
15 years 12 months ago
2003
Springer
Providing an integrated access to multiple heterogeneous sources is a challenging issue in global information systems for cooperation and interoperability. In the past, companies h...
152
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
The focus of this survey is the modeling and control of bipedal locomotion systems. More speci
170
click to vote
ICAS
2006
IEEE
16 years 23 days ago
2006
IEEE
The trend towards autonomic systems emphasizes the need for implementation frameworks for autonomic features. In this paper we describe a general framework for the development of ...
