3408 search results - page 109 / 682 » Logic, language, information and computation |
ERLANG
2007
ACM
14 years 2 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
CLEIEJ
2010
13 years 7 months ago
2010
Teaching fundamental programming to freshmen is a hard task to be performed, given the high level action and logical reasoning that are required for these students to develop in a...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
MIG
2010
Springer
13 years 8 months ago
2010
Springer
Virtual signers communicating in signed languages are a very interesting tool to serve as means of communication with deaf people and improve their access to services and informati...
EACL
2006
ACL Anthology
13 years 11 months ago
2006
ACL Anthology
Term translation probabilities proved an effective method of semantic smoothing in the language modelling approach to information retrieval. We use Generalized Latent Semantic Ana...