12597 search results - page 225 / 2520 » Complexity of Mechanism Design |
120
click to vote
DSD
2002
IEEE
15 years 10 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
166
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
169
click to vote
CVPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Coalescence, meaning the tracker associates more than one trajectories to some targets while loses track for others, is a challenging problem for visual tracking of multiple targe...
169
click to vote
TC
2008
15 years 5 months ago
2008
In an attempt to expand Public Key Infrastructure (PKI) usage to a ubiquitous and mobile computing environment, we found that the deployment of the PKI on a resource-constrained de...
149
click to vote
MA
2000
Springer
15 years 9 months ago
2000
Springer
The abstractions and protocol mechanisms that form the basis for inter-agent communications can significantly impact the overall design and effectiveness of Mobile Agent systems. W...