586 search results - page 106 / 118 » Comparing Three Computational Models of Affect |
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
TCOM
2008
14 years 11 months ago
2008
Abstract--Incremental-redundancy hybrid automatic repeatrequest (IR-HARQ) schemes are proposed in several wireless standards for increased throughput-efficiency and greater reliabi...
SIGGRAPH
1997
ACM
15 years 3 months ago
1997
ACM
This paper describes an algorithm for automatically adapting existing simulated behaviors to new characters. Animating a new character is difficult because a control system tuned...
BIBE
2007
IEEE
15 years 3 months ago
2007
IEEE
Machine learning approaches offer some of the most cost-effective approaches to building predictive models (e.g., classifiers) in a broad range of applications in computational bio...
ENTCS
2006
14 years 11 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...