7289 search results - page 352 / 1458 » A Dependent Set Theory |
182
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
189
click to vote
MMSEC
2006
ACM
16 years 23 days ago
2006
ACM
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in content. The watermark detector checks for the pr...
153
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, I defend a multiplicative approach that distinguishes statues from amounts of matter, political entities from physical ones, qua entities (e.g. John qua Alitalia pa...
159
click to vote
ICIS
2000
15 years 8 months ago
2000
The growth of business-to-business e-commerce has highlighted the role of computer and communications technologies as well as inter-organizational trust in developing and maintain...
152
Voted
COGSCI
2010
15 years 7 months ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...