5451 search results - page 813 / 1091 » Typed Operational Semantics |
131
click to vote
ENTCS
2000
15 years 5 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
179
click to vote
PUC
2000
15 years 5 months ago
2000
In this paper the term implicit human computer interaction is defined. It is discussed how the availability of processing power and advanced sensing technology can enable a shift ...
175
click to vote
CN
1999
15 years 5 months ago
1999
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
154
click to vote
TIP
2002
15 years 5 months ago
2002
Temporal texture accounts for a large proportion of motion commonly experienced in the visual world. Current temporal texture techniques extract primarily motion-based features for...
173
click to vote
DEXA
2010
Springer
15 years 4 months ago
2010
Springer
Nowadays, many applications are interested in detecting and discovering changes on the web to help users to understand page updates and more generally, the web dynamics. Web archiv...