1802 search results - page 165 / 361 » Model-based Theory Combination |
134
Voted
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
119
Voted
ACL
2004
15 years 4 months ago
2004
We use a reliably annotated corpus to compare metrics of coherence based on Centering Theory with respect to their potential usefulness for text structuring in natural language ge...
126
click to vote
ML
2006
ACM
15 years 2 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
224
Voted
GAMESEC
2011
14 years 2 months ago
2011
Recent smartphones incorporate embedded GPS devices that enable users to obtain geographic information about their surroundings by providing a location-based service (LBS) with the...
150
Voted
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
We present a model based approach to the integration of multiple cues for tracking high degree of freedom articulated motions and model refinement. We then apply it to the problem...