144 search results - page 15 / 29 » It Is Time to Mechanize Programming Language Metatheory |
96
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Human languages evolve continuously, and a puzzling problem is how to reconcile the apparent robustness of most of the deep linguistic structures we use with the evidence that the...
105
Voted
COGSCI
2004
15 years 8 days ago
2004
Disfluencies include editing terms such as uh and um as well as repeats and revisions. Little is known about how disfluencies are processed, and there has been next to no research...
94
Voted
FLAIRS
2006
15 years 1 months ago
2006
The invited talk will introduce Computer-Aided Language Processing (CALP) as an emerging area of practical interest and significance and will present experiments of several CALP a...
96
Voted
DEBS
2008
ACM
15 years 2 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
85
Voted
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
New storage-class memory (SCM) technologies, such as phasechange memory, STT-RAM, and memristors, promise user-level access to non-volatile storage through regular memory instruct...