2777 search results - page 263 / 556 » Example centric programming |
150
Voted
JETAI
2007
15 years 3 months ago
2007
Research in computational cognitive modeling investigates the nature of cognition through developing process-based understanding by specifying computational models of mechanisms (...
115
Voted
TOPLAS
2008
15 years 3 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
TPDS
2008
15 years 3 months ago
2008
We present NRMI: a drop-in replacement for Java RMI that supports call-by-copy-restore semantics for arbitrary linked data structures, in addition to regular call-by-copy semantic...
122
click to vote
ENTCS
2002
15 years 3 months ago
2002
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...
132
Voted
AROBOTS
1998
15 years 3 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...