73 search results - page 10 / 15 » There is no one Logic to Model Human Reasoning: the Case fro... |
UML
2004
Springer
14 years 3 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
SP
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
JAIR
2010
13 years 8 months ago
2010
We present a novel framework for learning to interpret and generate language using only perceptual context as supervision. We demonstrate its capabilities by developing a system t...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
Although privacy is broadly recognized as a dominant concern for the development of novel interactive technologies, our ability to reason analytically about privacy in real settin...
TARK
2007
Springer
14 years 4 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...