5634 search results - page 340 / 1127 » About Abstract Classes |
165
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
205
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
129
click to vote
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...
165
click to vote
AUSAI
2009
Springer
15 years 10 months ago
2009
Springer
Research on affective computing is growing rapidly and new applications are being developed more frequently. They use information about the affective/mental states of users to adap...
179
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...