2940 search results - page 388 / 588 » Relational Parametricity and Control |
160
Voted
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
152
click to vote
ERCIMDL
2000
Springer
15 years 9 months ago
2000
Springer
The RePEc Economics library offers the largest distributed source of freely downloadable scientific research reports in the world. RePEc also contains details about Economics inst...
148
click to vote
SIGMOD
1997
ACM
15 years 9 months ago
1997
ACM
The Partitioned Based Spatial-Merge Join (PBSM) of Patel and DeWitt and the Size Separation Spatial Join (S3 J) of Koudas and Sevcik are considered to be among the most efficient ...
157
click to vote
AAAI
2007
15 years 7 months ago
2007
Collective classification can significantly improve accuracy by exploiting relationships among instances. Although several collective inference procedures have been reported, they...
177
click to vote
CRV
2006
IEEE
15 years 7 months ago
2006
IEEE
- This paper concerns the autonomous tracking of fish using a Remotely Operated Vehicle (ROV) equipped with a single camera. An efficient image processing algorithm is presented th...