1414 search results - page 123 / 283 » Combining Intruder Theories |
137
Voted
FOSSACS
2012
Springer
13 years 8 months ago
2012
Springer
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
131
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
LOGCOM
2008
15 years 22 days ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
143
Voted
CVPR
2001
IEEE
16 years 2 months ago
2001
IEEE
We present a two-step method to speed-up object detection systems in computer vision that use Support Vector Machines (SVMs) as classifiers. In a first step we perform feature red...