1414 search results - page 109 / 283 » Combining Intruder Theories |
107
click to vote
ICFP
2008
ACM
16 years 21 days ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
114
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...
105
Voted
ACL
2004
15 years 2 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...
113
Voted
ML
2006
ACM
15 years 20 days 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...
207
Voted
GAMESEC
2011
14 years 12 days 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...