1615 search results - page 26 / 323 » What's New |
183
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
153
click to vote
SE
2007
15 years 7 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
194
click to vote
TIS
2010
15 years 26 days ago
2010
stract Hong Kong has one of the highest rates of use of mobile phones in the world and although market research emphasises the economics of this phenomenon, focusing on the volume ...
157
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Advances in location-enhanced technology are making it easier for us to be located by others. These new technologies present a difficult privacy tradeoff, as disclosing one's...
166
click to vote
AAAI
1996
15 years 7 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...