533 search results - page 79 / 107 » Intensional Models for the Theory of Types |
Publication
Advancing the synthesis of Eastern mind science with Western physical science will require a robust and easy-to-traverse bridge between the atypical apprehensions within meditation...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
ACII
2005
Springer
14 years 1 months ago
2005
Springer
Environment expression is about going beyond the usual Human emotion expression channels in virtual worlds. This work proposes an integrated storytelling model – the environment ...
IPMU
2010
Springer
14 years 14 days ago
2010
Springer
Abstract. Many geographical applications need to model spatial phenomena with vague or indeterminate boundaries and interiors. A popular paradigm adopted by the GIS community for t...
CSCW
2008
ACM
13 years 8 months ago
2008
ACM
Assistance – work carried out by one entity in support of another – is a concept of long-standing interest, both as a type of human work common in organizations and as a model...