1943 search results - page 130 / 389 » Ordering Default Theories |
182
Voted
LICS
2005
IEEE
16 years 16 days ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
154
Voted
QSIC
2005
IEEE
16 years 16 days ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
202
click to vote
AMIRE
2005
Springer
16 years 15 days ago
2005
Springer
This paper presents two strategies for selecting volitional facial expressions and gaze behaviors of animated agents, in the case of Online Negotiation and Soft Game Theory. It is ...
173
Voted
FMCO
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
194
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...