Sciweavers

79 search results - page 12 / 16
» cp 2006
Sort
View
ENTCS
2006
129views more  ENTCS 2006»
13 years 11 months ago
Confluence Thanks to Extensional Determinism
A process is extensionally deterministic if, after any trace s and given any event a, it is either certain to accept or certain to refuse a (stably) after s. We show how several p...
A. W. Roscoe
VTC
2006
IEEE
144views Communications» more  VTC 2006»
14 years 4 months ago
Channel Estimation for Non-Line-of-Sight WiMax Communication System
- In this paper, we present an adaptive channel estimation scheme for IEEE 802.16-2004 Wireless Metropolitan Area Network (a.k.a. WiMAX) in the case that the channel impulse respon...
Jen-Ming Wu, Wen-Bin Lin
CONSTRAINTS
2006
83views more  CONSTRAINTS 2006»
13 years 11 months ago
Applying Ad-hoc Global Constraints with the case Constraint to Still-Life
Abstract. The Still-Life problem is challenging for CP techniques because the basic constraints of the game of Life are loose and give poor propagation for Still-Life. In this pape...
Kenil C. K. Cheng, Roland H. C. Yap
CONSTRAINTS
2006
115views more  CONSTRAINTS 2006»
13 years 11 months ago
A Cost-Regular Based Hybrid Column Generation Approach
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
Sophie Demassey, Gilles Pesant, Louis-Martin Rouss...
MR
2002
82views Robotics» more  MR 2002»
13 years 10 months ago
Failure modes of tantalum capacitors made by different technologies
Generally, tantalum capacitor failure modes have been discussed both for the standard manganese dioxide cathode and the new conductive polymer (CP) type. For standard tantalum in ...
Petr Vasina, T. Zednicek, Josef Sikula, Jan Pavelk...