1022 search results - page 78 / 205 » Stable models and circumscription |
ICCAD
2010
IEEE
13 years 8 months ago
2010
IEEE
3D stacked circuits reduce communication delay in multicore system-on-chips (SoCs) and enable heterogeneous integration of cores, memories, sensors, and RF devices. However, vertic...
ICIP
2010
IEEE
13 years 8 months ago
2010
IEEE
Local Binary Pattern (LBP) has been widely used in texture classification because of its simplicity and computational efficiency. Traditional LBP codes the sign of the local diffe...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper presents a Bayesian approach to achieve efficient and accurate motion tracking in monocular image sequences. We first extract a deterministic motion model with six degr...
WLP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
ICPP
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper extended a mathematical technique to model the behaviour of token-passing protocol in a star-coupled wavelength-division multiplexing (WDM) optical network for traffic ...