16844 search results - page 285 / 3369 » How to Design Programs |
162
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Instruction-grain lifeguards monitor the events of a running application at the level of individual instructions in order to identify and help mitigate application bugs and securi...
182
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
188
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Citizen science projects can collect a wealth of scientific data, but that data is only helpful if it is actually used. While previous citizen science research has mostly focused ...
186
click to vote
IJCAI
2007
15 years 8 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
216
click to vote
PLPV
2009
ACM
16 years 3 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...