16430 search results - page 819 / 3286 » On Computable Tree Functions |
194
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...
290
click to vote
MEMBRANE
2009
Springer
16 years 2 months ago
2009
Springer
evel of abstraction that we adopt, the functioning of a biochemical reaction is based on facilitation and inhibition: a reaction can take place if all of its reactants are present ...
216
click to vote
CCGRID
2008
IEEE
16 years 2 months ago
2008
IEEE
Collective operations and non-blocking point-to-point operations are two important parts of MPI that each provide important performance and programmability benefits. Although non...
199
click to vote
PERCOM
2008
ACM
16 years 1 months ago
2008
ACM
Abstract—Context-aware applications adapt to changing computing environments or changing user circumstances/tasks. Context information that supports such adaptations is provided ...
198
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Emotion regulation describes how a subject can use certain strategies to affect emotion response levels. Usually, models for emotion regulation assume mechanisms based on feedback ...