Sciweavers

564 search results - page 17 / 113
» Corner cutting systems
Sort
View
APAL
2005
117views more  APAL 2005»
13 years 7 months ago
About cut elimination for logics of common knowledge
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
Luca Alberucci, Gerhard Jäger
IANDC
2010
141views more  IANDC 2010»
13 years 6 months ago
Regaining cut admissibility in deduction modulo using abstract completion
stract Completion Guillaume Burel a,c,∗ Claude Kirchner b,c aNancy-Universit´e, Universit´e Henri Poincar´e bINRIA Bordeaux - Sud-Ouest cLORIA, ´Equipe Pareo, Bˆatiment B, C...
Guillaume Burel, Claude Kirchner
MM
2005
ACM
88views Multimedia» more  MM 2005»
14 years 1 months ago
LazyCut: content-aware template-based video authoring
Though there are many commercial video authoring tools available today, video authoring remains as a tedious and extremely time consuming task that often requires trained professi...
Xian-Sheng Hua, Zengzhi Wang, Shipeng Li
DAGM
2006
Springer
13 years 9 months ago
A Multiple Graph Cut Based Approach for Stereo Analysis
This paper presents an optimization framework for the 3D reconstruction of the surfaces from stereo image pairs. The method is based on employing popular graph cut methods under th...
Ulas Vural, Yusuf Sinan Akgul
LFCS
2009
Springer
14 years 2 months ago
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
Arnon Avron, Anna Zamansky