1072 search results - page 165 / 215 » Object-Oriented Type Inference |
147
click to vote
POPL
2010
ACM
16 years 24 days ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
151
Voted
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
135
click to vote
ICDM
2002
IEEE
15 years 8 months ago
2002
IEEE
The Web has established itself as the dominant medium for doing electronic commerce. Consequently the number of service providers, both large and small, advertising their services...
123
Voted
APGV
2010
ACM
15 years 7 months ago
2010
ACM
The human visual system is able to quickly and robustly infer a wealth of scene information – the scene "gist" – already after 100 milliseconds of image presentation...
103
Voted
HRI
2007
ACM
15 years 7 months ago
2007
ACM
When a robot provides direction--as a guide, an assistant, or as an instructor--the robot may have to interact with people of different backgrounds and skill sets. Different peopl...