Sciweavers

1181 search results - page 144 / 237
» constraints 2004
Sort
View
ECAI
2004
Springer
14 years 17 days ago
Evaluation Strategies for Planning as Satisfiability
Abstract. We investigate different evaluation strategies for planning problems represented as constraint satisfaction or satisfiability problems. The standard evaluation strategy, ...
Jussi Rintanen
ECCV
2004
Springer
14 years 17 days ago
Extending Interrupted Feature Point Tracking for 3-D Affine Reconstruction
Feature point tracking over a video sequence fails when the points go out of the field of view or behind other objects. In this paper, we extend such interrupted tracking by imposi...
Yasuyuki Sugaya, Ken-ichi Kanatani
EH
2004
IEEE
110views Hardware» more  EH 2004»
14 years 17 days ago
A Genetic Algorithm for the Optimisation of a Reconfigurable Pipelined FFT Processor
This paper describes the optimisation of the word length in a 16-point radix-4 reconfigurable pipelined Fast Fourier Transform (FFT) based receiver device. Two forms of optimisati...
Nasri Sulaiman, Tughrul Arslan
ESTIMEDIA
2004
Springer
14 years 17 days ago
Adaptive spectrum-based variable bit truncation of discrete cosine transform (DCT) for energy-efficient wireless multimedia comm
This paper presents a new adaptive scheme to reduce the computation energy of the discrete cosine transform (DCT) architecture for image/video coding. The scheme employs the noise ...
Feng Liu, Chi-Ying Tsui
FAABS
2004
Springer
14 years 17 days ago
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
Jaime Ramírez, Angélica de Antonio