2790 search results - page 338 / 558 » A generative theory of relevance |
201
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
166
click to vote
WSC
2007
15 years 9 months ago
2007
We develop and evaluate a two-level simulation procedure that produces a confidence interval for tail conditional expectation, otherwise known as conditional tail expectation. Th...
176
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
166
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
161
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
This video presents the working of a new algorithm/software called DelPSC that meshes piecewise smooth complexes in three dimensions with Delaunay simplices. Piecewise smooth comp...