136
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
122
click to vote
AICCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper proposes functional networks as an unconstrained classifier scheme for multivariate data to diagnose the breast cancer tumor. The performance of this new technique is m...
100
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
136
Voted
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...
118
click to vote
AICCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-- In ubiquitous computing environments, many devices and agents interoperate with each other and use services provided by others. But the problem is that there may be requ...