366 search results - page 57 / 74 » Model-checking higher-order functions |
140
click to vote
JSA
2008
15 years 1 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
127
click to vote
IPMI
2007
Springer
16 years 2 months ago
2007
Springer
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...
131
Voted
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...
140
Voted
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
129
click to vote
ICB
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, a Bayesian method for face recognition is proposed based on Markov Random Fields (MRF) modeling. Constraints on image features as well as contextual relationships be...