1581 search results - page 198 / 317 » Mechanizing Inductive Reasoning |
121
click to vote
COGSCI
2011
14 years 6 months ago
2011
What mechanisms underlie children’s language production? Structural priming—the repetition of sentence structure across utterances—is an important measure of the developing ...
156
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
143
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
225
click to vote
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
The development of sensors capable of obtaining 3D scans of crime scenes is revolutionizing the ways in which crime scenes can be analyzed and at the same time is driving the need ...
131
click to vote
CHI
2002
ACM
16 years 3 months ago
2002
ACM
To form a deep understanding of the present; we need to find and engage history. We present an informal history capture and retrieval mechanism for collaborative, earlystage infor...