12774 search results - page 2257 / 2555 » A Framework for Proof Systems |
160
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
198
click to vote
AUSAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The particle filter has attracted considerable attention in visual tracking due to its relaxation of the linear and Gaussian restrictions in the state space model. It is...
185
click to vote
CC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
187
click to vote
CIARP
2004
Springer
16 years 5 days ago
2004
Springer
The interpretation by a human of a scene in video material is heavily influenced by the context of the scene. As a result, researchers have recently made more use of context in th...
209
click to vote
CIT
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Both encryption and digital watermarking techniques need to be incorporated in a digital rights management framework to address different aspects of content management. W...