9521 search results - page 415 / 1905 » Compiling with continuations, continued |
129
click to vote
CHI
1996
ACM
15 years 8 months ago
1996
ACM
If Computer-Supported Cooperative Work (CSCW) systems are to be successful over time, it will be necessary to promote ongoing and continuing activity, not just initial adoption. I...
122
click to vote
MFCS
1993
Springer
15 years 8 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
115
click to vote
CAIP
2007
Springer
15 years 8 months ago
2007
Springer
The eccentricity transform associates to each point of a shape the shortest distance to the point farthest away from it. It is defined in any dimension, for open and closed manyfol...
144
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
148
click to vote
EUSAI
2007
Springer
15 years 8 months ago
2007
Springer
Activity recognition has gained a lot of interest in recent years due to its potential and usefulness for context-aware computing. Most approaches for activity recognition focus on...