27119 search results - page 419 / 5424 » Languages |
197
Voted
FROCOS
2005
Springer
16 years 11 days 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...
168
Voted
FSMNLP
2005
Springer
16 years 11 days 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...
184
Voted
ICTCS
2005
Springer
16 years 11 days 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...
154
Voted
IVA
2005
Springer
16 years 11 days 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...