1573 search results - page 69 / 315 » Signs and Formal Concepts |
113
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
112
click to vote
AOSE
2004
Springer
15 years 7 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
117
Voted
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
125
click to vote
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...