324 search results - page 20 / 65 » Towards a type theory of contexts |
CONTEXT
2007
Springer
14 years 1 months ago
2007
Springer
In our research work, we consider that access to semi-structured documents is carried out by a data-oriented query. With different users and a same query, the returned results are ...
AIR
2006
13 years 7 months ago
2006
In recent years a a number of psycholinguistic experiments have pointed to the interaction between language and vision. In particular, the interaction between visual attention and ...
PARMA
2004
13 years 9 months ago
2004
Patterns are concise, but rich in semantic, representation of data. The approaches proposed in the literature to cope with pattern management problems usually deal with a single ty...
HCI
2009
13 years 5 months ago
2009
This paper introduces the harmonized accessibility methodology (HAM) that has been defined and deployed in the context of the ACCESSIBLE project. HAM is aimed to harmonize existing...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...