5634 search results - page 218 / 1127 » About Abstract Classes |
IWFM
2003
15 years 26 days ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
ANLP
2000
15 years 25 days ago
2000
This paper introduces a system for categorizing unknown words. The system is based on a multicomponent architecture where each component is responsible for identifying one class o...
101
click to vote
TROB
2002
14 years 11 months ago
2002
In this paper, the multiagent coordination problem is studied. This problem is addressed for a class of robots for which control Lyapunov functions can be found. The main result is...
92
Voted
ACL
2010
14 years 9 months ago
2010
We describe the strategy currently pursued for verbalising OWL ontologies by sentences in Controlled Natural Language (i.e., combining generic rules for realising logical patterns...
CASCON
1996
15 years 24 days ago
1996
Software re-engineering is one of the solutions advocated for the problems that are encountered during maintenance. The three major phases of a re-engineering process are (i) reve...