1450 search results - page 21 / 290 » Common knowledge revisited |
DAGSTUHL
1996
14 years 11 months ago
1996
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...
EVOW
2009
Springer
15 years 4 months ago
2009
Springer
Dynamic time-linkage problems (DTPs) are common types of dynamic optimization problems where "decisions that are made now ... may in‡uence the maximum score that can be obta...
ISQED
2003
IEEE
15 years 2 months ago
2003
IEEE
Noise figure is a commonly used system parameter that quantifies the degradation in the signal-to-noise ratio (SNR) as the signal passes through a receiving system. Because of the...
AUSAI
2006
Springer
15 years 1 months ago
2006
Springer
A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagati...
WSPI
2004
14 years 11 months ago
2004
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge that have long attracted special interest. There have been numerous attempts to give either a for...