3780 search results - page 520 / 756 » Algorithms for Game Metrics |
134
click to vote
ASIAN
2004
Springer
15 years 9 months ago
2004
Springer
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
118
click to vote
ATVA
2004
Springer
15 years 9 months ago
2004
Springer
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...
128
click to vote
IMR
2004
Springer
15 years 9 months ago
2004
Springer
We describe some extensions to the grid smoothing scheme described in [1, 2] that deal with the following issues: 1) the clustering effect of changing valence in an unstructured ...
144
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
127
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present two performance optimization methods for a motion compensated (MC) 2D wavelet video coding technique, which is based on two of the current stateof-the-art...