6201 search results - page 330 / 1241 » Implementation of Axiomatic Language |
185
click to vote
POLICY
2005
Springer
16 years 28 days ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
197
click to vote
UM
2005
Springer
16 years 28 days ago
2005
Springer
The taking of initiative has significance in spoken language dialogue systems and in human-computer interaction. A system that takes no initiative may fail to seize opportunities ...
293
click to vote
CSLP
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. This article describes an attempt to implement a constraintbased dependency grammar for Czech, a language with rich morphology and free word order, in the formalism Exten...
180
Voted
LPNMR
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
235
Voted
TAL
2004
Springer
16 years 23 days ago
2004
Springer
In our research, we have developed a transfer-based machine translation architecture for the translation from Japanese into German. One main feature of the system is the fully auto...