4126 search results - page 197 / 826 » Set based logic programming |
127
click to vote
RSCTC
2000
Springer
15 years 6 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
DALT
2003
Springer
15 years 7 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
117
click to vote
SEUS
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
123
Voted
ENDM
2010
15 years 2 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
113
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...