25 search results - page 1 / 5 » Towards Capturing Complexity: an interactive framework for i... |
ETS
2002
IEEE
13 years 4 months ago
2002
IEEE
PUC
2010
13 years 3 months ago
2010
This paper presents an analysis of attitudes towards everyday tracking and recording technologies (e.g., credit cards, store loyalty cards, store video cameras). This work focuses ...
MM
2009
ACM
13 years 11 months ago
2009
ACM
The past decades have witnessed a rapid growth of Distributed Interactive Multimedia Environments (DIMEs). Despite their intensity of user-involved interaction, the existing evalu...
IRI
2008
IEEE
13 years 11 months ago
2008
IEEE
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...
IANDC
1998
13 years 4 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...