472 search results - page 75 / 95 » Functional simulation using binary decision diagrams |
189
click to vote
DEDS
2000
15 years 5 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...
182
Voted
JEI
2002
15 years 5 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...
174
click to vote
NOSSDAV
2009
Springer
16 years 12 days 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...
168
click to vote
ICCV
2009
IEEE
16 years 10 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 ...
186
click to vote
ICNP
2003
IEEE
15 years 11 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...