1802 search results - page 179 / 361 » Model-based Theory Combination |
151
Voted
FOSSACS
2012
Springer
13 years 10 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...
152
Voted
ICFP
2012
ACM
13 years 5 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...
108
Voted
ESOP
2007
Springer
15 years 8 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...
109
click to vote
LOGCOM
2008
15 years 2 months 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...
115
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Kernel-based objective functions optimized using the mean shift algorithm have been demonstrated as an effective means of tracking in video sequences. The resulting algorithms com...