Sciweavers

73 search results - page 14 / 15
» Optimal Soft Arc Consistency
Sort
View
CONSTRAINTS
1998
127views more  CONSTRAINTS 1998»
13 years 6 months ago
Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...
Malek Mouhoub, François Charpillet, Jean Pa...
PLDI
2010
ACM
13 years 8 months ago
DRFX: a simple and efficient memory model for concurrent programming languages
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
Daniel Marino, Abhayendra Singh, Todd D. Millstein...
ECCC
2000
158views more  ECCC 2000»
13 years 6 months ago
On the Computational Power of Winner-Take-All
This article initiates a rigorous theoretical analysis of the computational power of circuits that employ modules for computing winner-take-all. Computational models that involve ...
Wolfgang Maass
VTC
2010
IEEE
162views Communications» more  VTC 2010»
13 years 4 months ago
Performance Evaluation of Joint Network-Channel Coding under a Real Network Topology Model
— Adaptive network coded cooperation (ANCC) has been proposed as an effective scheme to combine network and channel coding for cooperative wireless networks by matching network-o...
Kun Pang, Zihuai Lin, Yonghui Li, Branka Vucetic
CCECE
2009
IEEE
14 years 1 months ago
Inverse data transformation for change detection in wind turbine diagnostics
A complex system is expected to show different nominal behaviors under different conditions, and the deviation over time from these nominal behaviors is an indicator of potential ...
Yanjun Yan, Lisa Ann Osadciw, Glen Benson, Eric Wh...