2585 search results - page 82 / 517 » Automating Coherent Logic |
242
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
209
Voted
IWMMDBMS
1996
15 years 8 months ago
1996
We introduce a constraint-driven methodology for the automated assembly, organization and playout of presentations from multimedia databases. We use inclusion and exclusion constr...
199
click to vote
FIMH
2007
Springer
16 years 1 months ago
2007
Springer
Based on discrete mathematical morphology, we propose a new automated and fast procedure to segment the left ventricular myocardium in 4D (3D+t) cine-MRI sequences. Thanks to the c...
224
Voted
INFSOF
2002
15 years 7 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
207
Voted
LICS
2003
IEEE
16 years 21 days ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...