Sciweavers

1325 search results - page 158 / 265
» The Incidence Propagation Method
Sort
View
LPNMR
2007
Springer
14 years 3 months ago
On the Effectiveness of Looking Ahead in Search for Answer Sets
Abstract. Most complete answer set solvers are based on DPLL. One of the constraint propagation methods is the so-called lookahead, which has been somewhat controversial, due to it...
Guohua Liu, Jia-Huai You
DATE
2006
IEEE
127views Hardware» more  DATE 2006»
14 years 2 months ago
A signal theory based approach to the statistical analysis of combinatorial nanoelectronic circuits
In this paper we present a method which allows the statistical analysis of nanoelectronic Boolean networks with respect to timing uncertainty and noise. All signals are considered...
Oliver Soffke, Peter Zipf, Tudor Murgan, Manfred G...
GLOBECOM
2006
IEEE
14 years 2 months ago
Collision Model for Bit Error Rate analysis of Time Hopping Impulse Radio in Multipath Nakagami-m Channels
— In presence of multiple access interference, the performance of impulse radio system is affected by collisions with other users. In this paper we evaluate the bit error probabi...
L. Reggiani, Umberto Spagnolini
GMAI
2006
IEEE
126views Solid Modeling» more  GMAI 2006»
14 years 2 months ago
Generating Surface Textures based on Cellular Networks
This paper describes a method allowing the automatic multi-texturing and simulation of surface imperfections based on a cellular network. In this representation, networks of conne...
Stéphane Gobron, Denis Finck
ICRA
2006
IEEE
83views Robotics» more  ICRA 2006»
14 years 2 months ago
On the Treatment of Relative-pose Measurements for Mobile Robot Localization
— In this paper, we study the problem of localization using relative-state estimates. It is shown, that when the same exteroceptive sensor measurement is processed for the comput...
Anastasios I. Mourikis, Stergios I. Roumeliotis