1026 search results - page 42 / 206 » A Methodology for Equational Reasoning |
TOOLS
1999
IEEE
14 years 2 hour ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
AOSE
2000
Springer
14 years 2 days ago
2000
Springer
This paper describes a methodology that is being developed for designing and building agent-based systems for the domain of production control. In particular, this paper deals with...
COLING
1992
13 years 9 months ago
1992
This paper proposes a methodology for the eustomisation of natural language interfaces to information retrieval applications. We report a field study in which we tested this metho...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We propose a general mathematical methodology for studying the dynamics of multiagent systems in which complex collective behavior arises out of local interactions between many si...
RTA
2010
Springer
13 years 11 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...