3690 search results - page 238 / 738 » Computation with classical sequents |
124
click to vote
ENTCS
2008
15 years 25 days ago
2008
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
FUIN
2008
15 years 25 days ago
2008
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...
116
Voted
ECEASST
2006
15 years 24 days ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
77
Voted
IJON
2006
15 years 23 days ago
2006
In this paper we revisit a classic HOS-based BSS criterion, namely the maximization of the higher-order moments of the estimated sources. The main contributions of this paper are:...
94
Voted
IJON
2007
15 years 21 days ago
2007
This article presents the winning solution to the CATS time series prediction competition. The solution is based on classical optimal linear estimation theory. The proposed method...