5096 search results - page 10 / 1020 » Associations as a Language Construct |
80
Voted
DNA
2001
Springer
15 years 4 months ago
2001
Springer
DM
1999
14 years 11 months ago
1999
We give an alternative proof of the fact that a planar function cannot exist on groups of even order. The argument involved leads us to define a class of functions which we
EKAW
2004
Springer
15 years 5 months ago
2004
Springer
There is a growing interest in the use of UML class diagrams as a modeling language to represent domain ontologies. In a series of papers (e.g., [1,2]) we have been using the Gener...
95
Voted
ECAIW
1994
Springer
15 years 3 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
115
Voted
ASE
2005
14 years 11 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...