678 search results - page 111 / 136 » Dependent Types for Program Understanding |
ACMIDC
2010
13 years 5 months ago
2010
Children with autism often experience substantial challenges in understanding, structuring, and predicting the activities in their daily lives. The use of symbols to represent a s...
STOC
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we consider bounded real-valued functions over the discrete cube, f : {-1, 1}n [-1, 1]. Such functions arise naturally in theoretical computer science, combinatorics...
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
A defining characteristic of continuous queries over on-line data streams, possibly bounded by sliding windows, is the potentially infinite and time-evolving nature of their input...
JACM
2010
13 years 2 months ago
2010
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Animals living in groups make movement decisions that depend, among other factors, on social interactions with other group members. Our present understanding of social rules in an...