27119 search results - page 419 / 5424 » Languages |
219
click to vote
FROCOS
2005
Springer
16 years 1 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
192
click to vote
FSMNLP
2005
Springer
16 years 1 months ago
2005
Springer
We extend finite state registered automata (FSRA) to account for medium-distance dependencies in natural languages. We provide an extended regular expression language whose expres...
211
click to vote
ICTCS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
171
click to vote
IVA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Non-verbal communication, or “body language”, is a critical component in constructing believable virtual characters. Most often, body language is implemented by a set...