1155 search results - page 69 / 231 » A Decision-Theoretic Model of Assistance |
ACL
2007
15 years 1 months ago
2007
A standard form of analysis for linguistic typology is the universal implication. These implications state facts about the range of extant languages, such as “if objects come af...
121
click to vote
AAAI
1994
15 years 1 months ago
1994
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...
ENTCS
2008
14 years 11 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
JIKM
2006
14 years 11 months ago
2006
In the development of location-based services, various location-sensing techniques and experimental/commercial services have been used. However, conventional location-based service...
IEEEARES
2009
IEEE
15 years 6 months ago
2009
IEEE
Within the field of software security we have yet to find efficient ways on how to learn from past mistakes and integrate security as a natural part of software development. Th...