3505 search results - page 495 / 701 » A Language for Human Action |
161
click to vote
AEI
1999
15 years 6 months ago
1999
Many computer simulations, experimental testing and monitoring of physical systems produce vast amounts of quantitative data. These data have always been assimilated by trained an...
156
Voted
GROUP
2010
ACM
15 years 4 months ago
2010
ACM
Previous research has identified many characteristics of social networks that can support creative collaboration. To examine the possibilities and issues involved, we created a co...
155
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
174
click to vote
MEMICS
2010
15 years 1 months ago
2010
Identification in the limit, originally due to Gold [10], is a widely used computation model for inductive inference and human language acquisition. We consider a nonconstructive ...
329
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...