472 search results - page 75 / 95 » Functional simulation using binary decision diagrams |
DEDS
2000
13 years 8 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
JEI
2002
13 years 8 months ago
2002
The recent proliferation of digital multimedia content has raised concerns about authentication mechanisms for multimedia data. A number of authentication techniques based on digi...
NOSSDAV
2009
Springer
14 years 3 months ago
2009
Springer
This article proposes a new distributed architecture for update message exchange in massively multi-user virtual environments (MMVE). MMVE applications require delivery of updates...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
Visual categorization problems, such as object classification or action recognition,
are increasingly often approached using a detection strategy: a classifier function
is first ...
ICNP
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract—In the paper, we devise and evaluate a fully decentralized, light-weight, dynamic clustering algorithm for target tracking. Instead of assuming the same role for all the...