Sciweavers

476 search results - page 37 / 96
» The Complexity of Equality Constraint Languages
Sort
View
KI
2002
Springer
13 years 8 months ago
Integrating Function Application in State-Based Planning
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variab...
Ute Schmid, Marina Müller, Fritz Wysotzki
CP
2004
Springer
14 years 2 months ago
Leveraging the Learning Power of Examples in Automated Constraint Acquisition
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
Christian Bessière, Remi Coletta, Eugene C....
SAC
2010
ACM
13 years 9 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
TSP
2008
108views more  TSP 2008»
13 years 8 months ago
Interference Suppression for Multiuser Downlink Transmission in Frequency-Selective Fading Channels
Abstract--This paper presents an interference suppression scheme for multiuser downlink transmission in severe frequency-selective fading environments. Frequency-domain transmit be...
Li Guo, Yih-Fang Huang
DATE
2010
IEEE
195views Hardware» more  DATE 2010»
13 years 11 months ago
Cool MPSoC programming
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...
Rainer Leupers, Lothar Thiele, Xiaoning Nie, Bart ...