2436 search results - page 73 / 488 » Comonadic Notions of Computation |
150
click to vote
CONCUR
2012
Springer
13 years 6 months ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
125
click to vote
WSPI
2004
15 years 5 months ago
2004
Abstract. I introduce the notion of knowledge relativity as a proposed conceptual link between different scientific disciplines. Examples from Informatics and Philosophy, particula...
116
Voted
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Querying non-conventional data is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is the ability to qu...
135
click to vote
FUIN
2006
15 years 3 months ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
129
click to vote
GI
2010
Springer
15 years 1 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...