6201 search results - page 330 / 1241 » Implementation of Axiomatic Language |
171
click to vote
POLICY
2005
Springer
16 years 8 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...
174
click to vote
UM
2005
Springer
16 years 7 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 ...
273
click to vote
CSLP
2004
Springer
16 years 5 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...
159
click to vote
LPNMR
2004
Springer
16 years 4 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...
213
click to vote
TAL
2004
Springer
16 years 3 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...