1054 search results - page 4 / 211 » A Logic Language of Granular Computing |
83
Voted
JLP
2000
14 years 11 months ago
2000
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...
122
click to vote
MEMOCODE
2003
IEEE
15 years 4 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
118
click to vote
SOCO
2002
Springer
14 years 11 months ago
2002
Springer
A granular neural Web-based stock prediction agent is developed using the granular neural network (GNN) that can discover fuzzy rules. Stock data sets are downloaded from www.yahoo...
95
Voted
APLAS
2010
ACM
14 years 12 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
72
Voted
ICALP
1991
Springer
15 years 3 months ago
1991
Springer
