461 search results - page 18 / 93 » Uniform Operators |
TIME
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
108
click to vote
ECOOP
1992
Springer
15 years 2 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
NIPS
2001
14 years 11 months ago
2001
We have designed and fabricated a VLSI synapse that can learn a conditional probability or correlation between spike-based inputs and feedback signals. The synapse is low power, c...
ENTCS
2008
14 years 10 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
102
click to vote
ENTCS
2006
14 years 10 months ago
2006
We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and ...