9067 search results - page 1739 / 1814 » Adaptive Model Checking |
209
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
This paper proposes a novel method for detection and segmentation of foreground objects from a video which contains both stationary and moving background objects and undergoes bot...
178
click to vote
NETGAMES
2003
ACM
15 years 11 months ago
2003
ACM
Plenty of work was contributed in the field of protocol design and performance evaluation of multi-hop networks. It is generally accepted that mobility has a huge impact on the p...
186
click to vote
EWSPT
2003
Springer
15 years 11 months ago
2003
Springer
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...
169
click to vote
IBPRIA
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we present an environment for the tracking of a human face obtained from a real video sequence. We will describe the system and discuss the advantages and disadvanta...
303
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
Through adjustable autonomy (AA), an agent can dynamically vary the degree to which it acts autonomously, allowing it to exploit human abilities to improve its performance, but wi...