1419 search results - page 37 / 284 » Notes on Formalizing Context |
152
Voted
NIPS
2008
15 years 4 months ago
2008
We propose a novel application of Formal Concept Analysis (FCA) to neural decoding: instead of just trying to figure out which stimulus was presented, we demonstrate how to explor...
114
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
121
Voted
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
100
click to vote
JAPLL
2008
15 years 2 months ago
2008
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
116
Voted
ENTCS
2008
15 years 1 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...