1894 search results - page 115 / 379 » Towards Mobile Reasoning |
165
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
This paper introduces a neural network architecture based on rough sets and rough membership functions. The neurons of such networks instantiate approximate reasoning in assessing ...
135
click to vote
HOTDEP
2008
15 years 8 months ago
2008
Manageability directly influences a system's reliability, availability, security, and safety, thus being a key ingredient of system dependability. Alas, we do not have today ...
168
click to vote
KRMED
2004
15 years 7 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
160
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
149
click to vote
POST
2012
14 years 1 months ago
2012
A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the noti...