1818 search results - page 49 / 364 » Operant conditioning |
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
DEON
2004
Springer
14 years 2 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
GG
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
DAC
2001
ACM
14 years 9 months ago
2001
ACM
The quality of synthesis results for most high level synthesis approaches is strongly a ected by the choice of control ow through conditions and loops in the input description. In...
RT
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a new perceptually based tone mapping operator that represents scene visibility under timevarying, high dynamic range conditions. The operator is based on a ne...