222 search results - page 44 / 45 » E-Matching with Free Variables |
LOGCOM
2008
13 years 5 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...
JBCB
2007
13 years 5 months ago
2007
Mechanistic models for transcriptional regulation are derived using the methods of equilibrium statistical mechanics, to model equilibrating processes that occur at a fast time sc...
CORR
2002
Springer
13 years 5 months ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
ENTCS
2000
13 years 5 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
BMVC
2010
2010
Improved Anatomical Landmark Localization in Medical Images Using Dense Matching of Graphical Models
13 years 3 months ago
We propose a method for reliably and accurately identifying anatomical landmarks in 3D CT volumes based on dense matching of parts-based graphical models. Such a system can be use...